aboutsummaryrefslogtreecommitdiff
path: root/examples
AgeCommit message (Collapse)Author
2025-01-06implement move checking furthermvcheckKimplul
+ Enough that examples still compile, but missing references etc.
2024-12-28enough type checking for all examples to passKimplul
2024-12-20add enough type checking to compile uniq.fwdKimplul
2024-12-06add trailing closuresKimplul
+ Useful for guard statements, not entirely sure about the final syntax but at least they're possible
2024-12-06fix some comments in the examplesKimplul
2024-12-06add types to parserKimplul
+ No actual type checking is implemented as of yet, but with references and pointers I should be able to start playing around with checking move semantics and so on + Might at some point also look into type propagation for let, annoying to have to specify the same thing twice.
2024-12-04implement expression handling furtherKimplul
+ Add some notes about returning functions that I started thinking about as a result of the fib example
2024-12-03initial commitKimplul
+ Lots of code copied from ek, so didn't have to start from scratch, but might mean there are some quirks here and there that made sense in ek but not necessarily here.