aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterImprove FAlternative classTom Smeding3 weeks
 
 
AgeCommit messageAuthor
2024-04-10Improve FAlternative classHEADmasterTom 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
2024-03-01Little typecheck workTom Smeding
[...]