examples/functional.halk


1
2
3
4
5
6
7
8
9

[the Y combinator, implemented in HALK. Note the
use of '=>' instead of '->', to denote a function
whom's arguments are immutable.]

let.Y => {
   λ.f => {
      λ.x => f.x.x;
   }.λ.x => f.x.x;
}