[Haskell-cafe] Type-Level Programming

Andrew Coppin andrewcoppin at btinternet.com
Sat Jun 26 08:04:03 EDT 2010

Tony Morris wrote:
> http://www.cs.nott.ac.uk/~txa/publ/ydtm.pdf

Ah yes, it was definitely Epigram I looked at. The intro to this looked 
promising, but by about 3 pages in, I had absolutely no clue what on 
Earth the text is talking about...

More information about the Haskell-Cafe mailing list