aboutsummaryrefslogtreecommitdiff
path: root/TUTORIAL.md
AgeCommit message (Collapse)Author
40 hoursdoc: added system requirements & fixed map x to x orHEADdevelJoel Kronqvist
2 daysdoc: repeat in TUTORIAL.mdJoel Kronqvist
2 daysdoc: added exercise on Collatz conjectureJoel Kronqvist
3 daysdoc: added exercises 3 and 4Joel Kronqvist
3 daysdoc: added a new exc. 1 to serve as an introduction to the cli, added ↵Joel Kronqvist
documentation on discard
4 daysdoc: added documentation on writing typesJoel Kronqvist
4 daysdoc: added section on coproducts and documented their pattern matching in ↵Joel Kronqvist
TUTORIAL.md
7 daysdoc: added exercise 1Joel Kronqvist
9 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