dtlc

dependently-typed lambda calculus toy
git clone git://git.rr3.xyz/dtlc
Log | Files | Refs | README | LICENSE

nat.dtlc (56B)

      1 (5 + 3, 5 - 3, 5 * 3, 5 / 3, 5 % 3, 5 < 3, 5 = 3, 5 > 3)