Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | implement typeclasses as interfaces | JJ | 2023-07-20 |
| | |||
* | major cleanups: switch to dynamic Errors, impl Context, rename enums/records ↵ | JJ | 2023-07-20 |
| | | | | to unions/structs | ||
* | trash previous parser + lexer | JJ | 2023-04-13 |
| | |||
* | split bidirectional checking and conversion + defaults out of simple.rs | JJ | 2023-04-13 |
| | |||
* | unbreak tests | JJ | 2023-04-13 |
| | |||
* | minor cleanupscpsc539 | JJ | 2023-04-13 |
| | |||
* | subtyping wip | JJ | 2023-04-13 |
| | |||
* | write tests for bidirectional checking | JJ | 2023-04-12 |
| | |||
* | more util helpers, cut down test code verbosity | JJ | 2023-04-12 |
| | |||
* | https://youtu.be/GwQW3KW3DCc?t=63 | JJ | 2023-04-12 |
| | |||
* | add support for function types to parse_lambda | JJ | 2023-04-11 |
| | |||
* | slight cleanups | JJ | 2023-04-11 |
| | |||
* | don't panic when parsing bad types (this is genuinely awful) | JJ | 2023-04-06 |
| | |||
* | refactor execute to not panic and write tests | JJ | 2023-04-06 |
| | |||
* | rename project, write parser tests | JJ | 2023-04-06 |