hvm 2.0.22

A massively parallel, optimal functional runtime in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10

#flavor core

sum = λn λx switch n {
  0: x
  _: let fst = (sum n-1 (+ (* x 2) 0))
     let snd = (sum n-1 (+ (* x 2) 1))
     (+ fst snd)
}

main = (sum 20 0)