Age | Commit message (Collapse) | Author | |
---|---|---|---|
6 days | test: added boilerplate and tests for coproduct parsing, type checking and ↵ | Joel Kronqvist | |
evaluation | |||
7 days | fix: make argument type list stay as one type when there is just 1 argument name | Joel Kronqvist | |
9 days | feat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest ↵ | Joel Kronqvist | |
pattern substitutions | |||
11 days | fix: removed obsolete code for handling types as they are now parsed ↵ | Joel Kronqvist | |
directly to atoms | |||
2025-08-10 | Implemented functions | 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-02 | Added tests for type_check. Implemented std::fmt::Display for many enums. ↵ | Joel Kronqvist | |
Added type variants List(Type), and UndefinedType for use in error messages. Implemented type utility arr(a, b). |