aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterAdd a readmeTom Smeding4 months
typesStart working on a type checkerTom Smeding17 months
 
 
AgeCommit messageAuthor
2020-05-23Add a readmeHEADmasterTom Smeding
2020-05-23Significantly improve rewrite correctnessTom Smeding
2020-05-23Only rewrite _free_ variables in rewallTom Smeding
2020-05-23Don't parse Constructors as variablesTom Smeding
2020-05-23Also case-reduce in a case-scrutinised expressionTom Smeding
2020-05-23Rewrite full lambda body in betared, don't skip bindersTom Smeding
2020-05-22Fix parser ('try' and numbers)Tom Smeding
2020-05-22Support newer GHCTom Smeding
2019-04-09test.txt: Add apply and pureTom Smeding
2019-04-09Organisation cleanupTom Smeding
[...]