Skip to content

Instantly share code, notes, and snippets.

@jozefg

jozefg/wat.idr

Last active August 29, 2015 14:17
Show Gist options
  • Save jozefg/7cb0405d48ed2ec55aaf to your computer and use it in GitHub Desktop.
Save jozefg/7cb0405d48ed2ec55aaf to your computer and use it in GitHub Desktop.
Download ZIP
Nonpositive tomfoolery in Idris
Raw
wat.idr
module wat
data Wat : Type where
foo : (Wat -> Wat) -> Wat
sapply : Wat -> Wat
sapply (foo x) = x (foo x)
u : Wat
u = sapply (foo (\x => sapply x))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment