aboutsummaryrefslogtreecommitdiff
path: root/src/ast.rs
Commit message (Collapse)AuthorAge
* implement tuples, lists, arrays, slices, fix union subtypingJJ2023-07-20
|
* major cleanups: switch to dynamic Errors, impl Context, rename enums/records ↵JJ2023-07-20
| | | | to unions/structs
* minor fix: enumsJJ2023-07-19
|
* split bidirectional checking and conversion + defaults out of simple.rsJJ2023-04-13
|
* major cleanups: extend Type, refactor Term, and switch to String errsJJ2023-04-13
|
* subtyping wipJJ2023-04-13
|
* bidirectional wipJJ2023-04-10
|
* refactor execute to not panic and write testsJJ2023-04-06
|
* rename project, write parser testsJJ2023-04-06
|
* wipJJ2023-04-05