Age | Commit message (Expand) | Author |
---|---|---|
2025-08-04 | Implemented generic substitution (tested) for use in inferring generics. | Joel Kronqvist |
2025-08-03 | Changed UndefinedType to VarType(String) for generics and added tests for inf... | Joel Kronqvist |
2025-08-03 | Implemented type_check, added method parts for SExp | Joel Kronqvist |
2025-08-02 | Added tests for type_check. Implemented std::fmt::Display for many enums. Add... | Joel Kronqvist |
2025-08-01 | Added boilerplate for Type, TypeError and type_check | Joel Kronqvist |