hvm-core 0.2.26

HVM-Core is a massively parallel Interaction Combinator evaluator.
1
2
3
4
5

main = (λa λb (* (- 
  (* a (+ 178 (- (* a (+ 178 (- (* 10 (+ 80 (* 70 b))) 20))) 20)))
  (* 10 (+ 80 (* 70 b)))) (+ (* 10 (+ 80 (* 70 b))) (+ 80 (* 70 a)))
  ) 70 50
)