| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-12-28 | enough type checking for all examples to pass | Kimplul | |
| 2024-12-20 | add enough type checking to compile uniq.fwd | Kimplul | |
| 2024-12-20 | fix generated files in .gitignore | Kimplul | |
| 2024-12-11 | add note about closure calls | Kimplul | |
| 2024-12-08 | add some thought about error handling | Kimplul | |
| 2024-12-07 | add a motivating case | Kimplul | |
| + Hopefully it generalizes well, but at least it does use both lifetime and ownership intermixed | |||
| 2024-12-06 | add trailing closures | Kimplul | |
| + Useful for guard statements, not entirely sure about the final syntax but at least they're possible | |||
| 2024-12-06 | formatting | Kimplul | |
| 2024-12-06 | show usage for examples | Kimplul | |
| 2024-12-06 | fix some comments in the examples | Kimplul | |
| 2024-12-06 | add types to parser | Kimplul | |
| + 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-05 | add note about functions as expressions | Kimplul | |
| 2024-12-05 | add extra requirement for returns that I forgot | Kimplul | |
| 2024-12-04 | remove mention that there's only a `uniq` example | Kimplul | |
| 2024-12-04 | implement expression handling further | Kimplul | |
| + Add some notes about returning functions that I started thinking about as a result of the fib example | |||
| 2024-12-03 | initial commit | Kimplul | |
| + 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. | |||
 |
index : fwd | |
| A programming language that cannot return | kimi.h.kuparinen+fwd@gmail.com |
| aboutsummaryrefslogtreecommitdiff |