Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | Add a stupid future test case | Tom Smeding | 4 months | |
Age | Commit message | Author | ||
2024-08-29 | Add a stupid future test caseHEADmaster | Tom Smeding | ||
2024-04-10 | Improve FAlternative class | Tom Smeding | ||
2024-03-25 | typechecker | Tom Smeding | ||
2024-03-24 | WIP | Tom Smeding | ||
2024-03-24 | Partially working type checker | Tom Smeding | ||
2024-03-23 | work | Tom Smeding | ||
2024-03-23 | typechecker work | Tom Smeding | ||
2024-03-22 | Working kind inference | Tom Smeding | ||
2024-03-17 | Typecheck work; solver is incorrect | Tom Smeding | ||
2024-03-14 | Some typechecker work | Tom Smeding | ||
[...] |