Age | Commit message (Expand) | Author |
---|---|---|
4 days | doc: added documentation on writing types | Joel Kronqvist |
4 days | doc: added section on coproducts and documented their pattern matching in TUT... | Joel Kronqvist |
7 days | doc: added exercise 1 | Joel Kronqvist |
9 days | doc: added <> and factorial example to TUTORIAL.md | Joel Kronqvist |
9 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 ne... | Joel Kronqvist |
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 |