aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterexpand untyped lambda calculus prelude, fix custom ellipses in syntax-rulesGravatar Peter McGoron 5 weeks