what is the meaning of “let x = x in x” and “data Float#” in GHC.Prim in Haskell
asked Apr 9 '13 at 4:47
Why the Haskell sequence function can't be lazy or why recursive monadic functions can't be lazy
asked Jan 24 '13 at 5:34
How to make Haskell or ghci able to show Chinese characters and run Chinese characters named scripts?
asked Dec 26 '12 at 11:07
Is it possible to found most of the errors in programs written in Haskell by adding a new feature, something I call it “subtype system”, to Haskell?
asked Jun 23 '13 at 7:37
Why directly imported functions in GHC differ so much with functions I write with the source code copied from GHC Libraries
asked Mar 25 '13 at 10:17
How or is that possible to prove or falsify `forall (P Q : Prop), (P -> Q) -> (Q -> P) -> P = Q.` in Coq?
asked Oct 26 '14 at 10:39
How to hack GHCi (or Hugs) so that it prints Unicode chars unescaped?