[Haskell-cafe] Typefuck: Brainfuck in the type system

[Johnny Morrice]

Greetings list,

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:
http://killersmurf.blogspot.com/2009/11/typefuck.html

Enjoy the ridiculousness.

Johnny