valhallac

Compiler for set-theoretic programming language.
git clone git://git.knutsen.co/valhallac
Log | Files | Refs | README | LICENSE

arith_1.vh (50B)

1
2
3
4
f : Int -> Int
f n = n - 20

a = 2 + f -3 * 4 / 6