[Haskell-cafe] Typefuck: Brainfuck in the type system
spoon at killersmurf.com
Mon Nov 16 12:19:30 EST 2009
I was um well, drinking beer and thought it would be amusing to write a
brainfuck interpreter which runs within the GHC type checker so I did,
using type families.
I haven't decided whether or not to put it on hackage (it is rather
silly after all) but I have a link to a cabalized package and
instructions on how to work it in an entry on my blog, here:
Enjoy the ridiculousness.
More information about the Haskell-Cafe