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