aboutsummaryrefslogtreecommitdiff
path: root/src/type/util.rs
AgeCommit message (Expand)Author
6 daystest: added boilerplate and tests for coproduct parsing, type checking and ev...Joel Kronqvist
7 daysfix: make argument type list stay as one type when there is just 1 argument nameJoel Kronqvist
10 daysfeat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest patte...Joel Kronqvist
11 daysfix: removed obsolete code for handling types as they are now parsed directly...Joel Kronqvist
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 Va...Joel Kronqvist
2025-08-02Added tests for type_check. Implemented std::fmt::Display for many enums. Add...Joel Kronqvist