Age | Commit message (Expand) | Author |
---|---|---|
9 days | doc: added help message and a reference to it in README.md | Joel Kronqvist |
10 days | feat: fixed point dynamics | Joel Kronqvist |
10 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 |