aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterAdd a stupid future test caseTom Smeding4 months
 
 
AgeCommit messageAuthor
2024-08-29Add a stupid future test caseHEADmasterTom Smeding
2024-04-10Improve FAlternative classTom Smeding
2024-03-25typecheckerTom Smeding
2024-03-24WIPTom Smeding
2024-03-24Partially working type checkerTom Smeding
2024-03-23workTom Smeding
2024-03-23typechecker workTom Smeding
2024-03-22Working kind inferenceTom Smeding
2024-03-17Typecheck work; solver is incorrectTom Smeding
2024-03-14Some typechecker workTom Smeding
[...]