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