hvm 2.0.22

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

type Tup8:
  New { a, b, c, d, e, f, g, h }

rot = λx match x {
  Tup8/New: (Tup8/New x.b x.c x.d x.e x.f x.g x.h x.a)
}

app = λn switch n {
  0: λf λx x
  _: λf λx (app n-1 f (f x))
}

main = (app 1234 rot (Tup8/New 1 2 3 4 5 6 7 8))