| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 6 days | test: added boilerplate and tests for coproduct parsing, type checking and ↵ | Joel Kronqvist | |
| evaluation | |||
| 2025-08-10 | Added term level type literals (for function type signatures) | Joel Kronqvist | |
| 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 ↵ | Joel Kronqvist | |
| VarType(String). | |||
| 2025-08-05 | Added boilerplate and tests for booleans, integer comparisons and boolean ↵ | Joel Kronqvist | |
| operators. | |||
| 2025-08-05 | Changed project name | Joel Kronqvist | |
| 2025-08-04 | Implemented generic substitution (tested) for use in inferring generics. | Joel Kronqvist | |
 |
index : myslip.git | |
| A Lisp inspired programming language / interpreter for Aalto course CS-C2170 Modern and emerging programming languages. | Joel Kronqvist |
| aboutsummaryrefslogtreecommitdiff |