aboutsummaryrefslogtreecommitdiff
path: root/examples/functional.halk
blob: 758559c667fe0035c0405f542187fb7e002f8e1b (plain) (blame)
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;
}