hvm-core 0.2.26

HVM-Core is a massively parallel Interaction Combinator evaluator.
1
2
3
4
5
6
7
8
add = λa λb (+ a b)

sum = λn match n {
  0: 1
  1+: (add (sum n-1) (sum n-1))
}

main = (sum 26)