Age | Commit message (Collapse) | Author | |
---|---|---|---|
4 days | feat: implemented coproducts according to tests | Joel Kronqvist | |
6 days | test: added boilerplate and tests for coproduct parsing, type checking and ↵ | Joel Kronqvist | |
evaluation | |||
7 days | fix: make case type checking work according to updated tests | Joel Kronqvist | |
7 days | test: added failing tests for type pattern matching, as VecType and QuoteTy ↵ | Joel Kronqvist | |
must be accounted | |||
13 days | feat: type checking for case expressions | Joel Kronqvist | |
13 days | test: added failing tests for pattern match typing and matches_type | Joel Kronqvist | |