aboutsummaryrefslogtreecommitdiff
path: root/src/type/util.rs
AgeCommit message (Collapse)Author
6 daystest: added boilerplate and tests for coproduct parsing, type checking and ↵Joel Kronqvist
evaluation
7 daysfix: make argument type list stay as one type when there is just 1 argument nameJoel Kronqvist
9 daysfeat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest ↵Joel Kronqvist
pattern substitutions
11 daysfix: removed obsolete code for handling types as they are now parsed ↵Joel Kronqvist
directly to atoms
2025-08-10Implemented functionsJoel Kronqvist
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 ↵Joel Kronqvist
VarType(String).
2025-08-02Added 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).