Age | Commit message (Expand) | Author |
---|---|---|
2025-08-10 | Implemented aka. Changed Nil:st type to NilType from an empty list. | Joel Kronqvist |
2025-08-06 | Added boilerplate and tests for let-binds | Joel Kronqvist |
2025-08-05 | Implemented vector. | Joel Kronqvist |
2025-08-05 | Added vectors and tests for their evaluation and typing | Joel Kronqvist |
2025-08-05 | Fix: quote is not a typewise identity function. Added vt(&str) as util for Va... | Joel Kronqvist |
2025-08-05 | Added boilerplate and tests for booleans, integer comparisons and boolean ope... | Joel Kronqvist |
2025-08-05 | Changed project name | Joel Kronqvist |
2025-08-04 | Implemented generic substitution (tested) for use in inferring generics. | Joel Kronqvist |