Age | Commit message (Expand) | Author |
---|---|---|
2024-04-26 | Update test file for Typecheck negative examples | bd-912 |
2024-03-27 | Expand file structure, Vaporize skeleton | bd-912 |
2024-03-16 | (Nonfunctional) Implemented many type-checking rules | bd-912 |
2024-03-04 | Minor cleanup | bd-912 |
2024-03-04 | Minimal test suite---failing tests | bd-912 |