Skip to content

Instantly share code, notes, and snippets.

@folone

folone/SKI.scala

Created September 6, 2011 08:19
Show Gist options
  • Save folone/1196936 to your computer and use it in GitHub Desktop.
Save folone/1196936 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
SKI.scala
trait λ { type ap[_<:λ]<:λ }
type I = λ{type ap[X<:λ] = X }
type K = λ{type ap[X<:λ] = λ{type ap[Y<:λ] = X }}
type S = λ{type ap[X<:λ] = λ{type ap[Y<:λ] = λ{type ap[Z<:λ] = X#ap[Z]#ap[Y#ap[Z]] }}}
type Y = S#ap[I]#ap[I]#ap[S#ap[I]#ap[I]]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment