aboutsummaryrefslogtreecommitdiff
path: root/TUTORIAL.md
AgeCommit message (Collapse)Author
4 daysdoc: added section on coproducts and documented their pattern matching in ↵Joel Kronqvist
TUTORIAL.md
7 daysdoc: added exercise 1Joel Kronqvist
10 daysdoc: added <> and factorial example to TUTORIAL.mdJoel Kronqvist
10 daysdoc: added empty vector initialization and int vector sum to TUTORIAL.mdJoel Kronqvist
10 daysdoc: added help message and a reference to it in README.mdJoel Kronqvist
10 daysfeat: fixed point dynamicsJoel Kronqvist
11 daysdoc: updated tutorialJoel Kronqvist
2025-08-11Fixed bug in repl not allowing using variables previously bound in REPL in ↵Joel Kronqvist
new binding expression
2025-08-10Updated tutorialJoel Kronqvist
2025-08-05Fixed type of Not, added documentation to the tour for booleansJoel Kronqvist
2025-08-04Added 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