hvm-core 0.2.26

HVM-Core is a massively parallel Interaction Combinator evaluator.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

True = @True @False True
False = @True @False False

Node = @lft @rgt @Node @Leaf (Node lft rgt)
Leaf = @val @Node @Leaf (Leaf val)

and = λa (a λb(b) λb(False))

gen = λn match n {
  0: (Leaf True)
  1+: (Node (gen n-1) (gen n-1))
}

all = λt
  let case_node = λa λb (and (all a) (all b))
  let case_leaf = λv v
  (t case_node case_leaf)

main = (all (gen 24))