Age | Commit message (Collapse) | Author | |
---|---|---|---|
2025-08-10 | Added tests for functions | Joel Kronqvist | |
2025-08-10 | Added term level type literals (for function type signatures) | Joel Kronqvist | |
2025-08-09 | Implemented print as ? -> () | Joel Kronqvist | |
2025-08-09 | Revert adding of print (its behavior was poorly designed). | Joel Kronqvist | |
This reverts commit 3e1bf7f9946efe70d452c71494ac77ed39110804. | |||
2025-08-06 | Added print, raised level on which UnboundGeneric error is returned | Joel Kronqvist | |
2025-08-06 | Implemented let-bindings | 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 | Added boilerplate and tests for booleans, integer comparisons and boolean ↵ | Joel Kronqvist | |
operators. | |||
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). | |||
2025-08-01 | Modified quote so the values of lists are evaluated | Joel Kronqvist | |
2025-07-30 | Implemented evaluation according to tests. Quite a bit of changes were ↵ | Joel Kronqvist | |
required, see rest of commit message. SExp::Quote was added to let the interpreter know whether a list should be evaluated or treated as a literal list. It still needs code to be added for parsing it successfully. Some utility functions were needed: * SExp::is_value * SExp::consists_of_values * SExp::into_vec | |||
2025-07-29 | Added Nil and modified tests to make this more of a list interpreter rather ↵ | Joel Kronqvist | |
than just a do-what-you-want-with-s-expressions thing | |||
2025-07-26 | Implemented substitution | Joel Kronqvist | |
2025-07-26 | Added variables and tests for their substitution | Joel Kronqvist | |
2025-07-26 | Implemented integer operator dynamics, fixed some tests and added a ↵ | Joel Kronqvist | |
combination test. | |||
2025-07-26 | Created necessary data structures and utilities for integers and their ↵ | Joel Kronqvist | |
operations; added tests for them |