[Haskell-cafe] Hello and type-level SKI

[Tslil Clingman]

Right, so to be fair a more accurate description would have been: `It
can be shown that GHC with numerous extensions gives rise to a type
system which is Turing Complete', my mistake. I certainly didn't mean to
mislead anyone.

All too often I conflate Haskell (2010 or so) and the capabilities of
GHC -- this is a trap which ensnares many, I suspect.

-- 
Yours &c.,
Tslil
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 818 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140913/cd930e5f/attachment.sig>