13 Sep
2014
13 Sep
'14
6:43 a.m.
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