examples/functional.halk


1
2
3
4
5
6
7
8
9
10
11
12
13

` the Y-Combinator in HALK `
` an empty : when not proceeded by a type is shorthand for any: `


:Y = {
   :λ.:f = {
      :λ.:x = {
         f.x.x
      }. :λ.:x = {
         f.x.x
      }
   }
}