aboutsummaryrefslogtreecommitdiff
path: root/src/type/mod.rs
AgeCommit message (Expand)Author
2025-08-05Added vectors and tests for their evaluation and typingJoel Kronqvist
2025-08-05Fix: quote is not a typewise identity function. Added vt(&str) as util for Va...Joel Kronqvist
2025-08-05Implemented booleans (no if-else yet)Joel Kronqvist
2025-08-05Added boilerplate and tests for booleans, integer comparisons and boolean ope...Joel Kronqvist
2025-08-05Changed project nameJoel Kronqvist
2025-08-04Added repl and some documentation. Improved error messages. Removed dead code.Joel Kronqvist
2025-08-04Implemented infer_type. Changed is_concrete tests and implemented it.Joel Kronqvist
2025-08-04Implemented generic substitution (tested) for use in inferring generics.Joel Kronqvist
2025-08-03Changed UndefinedType to VarType(String) for generics and added tests for inf...Joel Kronqvist
2025-08-03Implemented type_check, added method parts for SExpJoel Kronqvist
2025-08-02Added tests for type_check. Implemented std::fmt::Display for many enums. Add...Joel Kronqvist
2025-08-01Added boilerplate for Type, TypeError and type_checkJoel Kronqvist
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-25 14:20:20 +0000