Age | Commit message (Collapse) | Author | |
---|---|---|---|
4 days | doc: added documentation on writing types | Joel Kronqvist | |
4 days | doc: added section on coproducts and documented their pattern matching in ↵ | Joel Kronqvist | |
TUTORIAL.md | |||
7 days | doc: added exercise 1 | Joel Kronqvist | |
10 days | doc: added <> and factorial example to TUTORIAL.md | Joel Kronqvist | |
10 days | doc: added empty vector initialization and int vector sum to TUTORIAL.md | Joel Kronqvist | |
10 days | doc: added help message and a reference to it in README.md | Joel Kronqvist | |
10 days | feat: fixed point dynamics | Joel Kronqvist | |
11 days | doc: updated tutorial | Joel Kronqvist | |
2025-08-11 | Fixed bug in repl not allowing using variables previously bound in REPL in ↵ | Joel Kronqvist | |
new binding expression | |||
2025-08-10 | Updated tutorial | Joel Kronqvist | |
2025-08-05 | Fixed type of Not, added documentation to the tour for booleans | Joel Kronqvist | |
2025-08-04 | Added repl and some documentation. Improved error messages. Removed dead code. | Joel Kronqvist | |
* Removed same_variant in parse::parsetree * Added SExp::multistep (for use of the repl) Improved error messages: * Added parenthesis around types * Changed how errors propagate inferring generics: added the error variant ArgumentsDontMatchGeneric, implemented the displaying of it, added tests for it. * Had to change some tests to match for the new changes |