Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | implement typeclasses as interfaces | JJ | 2023-07-20 |
| | |||
* | implement tuples, lists, arrays, slices, fix union subtyping | JJ | 2023-07-20 |
| | |||
* | major cleanups: switch to dynamic Errors, impl Context, rename enums/records ↵ | JJ | 2023-07-20 |
| | | | | to unions/structs | ||
* | minor fix: enums | JJ | 2023-07-19 |
| | |||
* | split bidirectional checking and conversion + defaults out of simple.rs | JJ | 2023-04-13 |
| | |||
* | major cleanups: extend Type, refactor Term, and switch to String errs | JJ | 2023-04-13 |
| | |||
* | subtyping wip | JJ | 2023-04-13 |
| | |||
* | bidirectional wip | JJ | 2023-04-10 |
| | |||
* | refactor execute to not panic and write tests | JJ | 2023-04-06 |
| | |||
* | rename project, write parser tests | JJ | 2023-04-06 |
| | |||
* | wip | JJ | 2023-04-05 |