[Haskell-cafe] Typefuck: Brainfuck in the type system
jfredett at gmail.com
Mon Nov 16 12:23:56 EST 2009
Awesome, however, I don't know what the policy is for such --
interesting -- names on Hackage. Normally I believe the response to
"Should I put it on Hackage" is a resounding, immediate "Absolutely."
In this case, perhaps a small name change to avoid any possibility of
On Nov 16, 2009, at 12:19 PM, Johnny Morrice wrote:
> 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:
> Enjoy the ridiculousness.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe