Issues
- 3
State where not-bottom assumption was used
#67 opened by TysonMN - 1
- 1
Another approach to fix
#73 opened by mduerig - 1
loeb: how to detect non-termination?
#69 opened by runeksvendsen - 1
- 3
fbut: (\p1 p2 -> e) is not (\p1 -> \p2 -> e)
#49 opened by hasufell - 2
loeb moeb swing
#54 opened by BlackCapCoder - 1
zipWith question: flip in rotateUntil
#71 opened by TysonMN - 1
zipWith question: drop in splitMiddle
#70 opened by TysonMN - 2
(a `op`) is \x -> a `op` x
#66 opened by ksqsf - 4
Small slip with $
#59 opened by mfricke1947 - 3
Invalid proof?
#52 opened by BekaValentine - 3
Hindley-Milner Inference Oddity w/ Twice Combinator
#42 opened by ajg - 1
'Write yourself a Brainfuck in an hour' section 2, exercise 3 confusing wording
#33 opened by kozross - 1
- 1
Innacuracy due to GHC 7.10 in Monad hierachy.
#31 opened by AJFarmar - 3
- 2
- 4
Questionable claim in MFP2
#29 opened by treeowl - 2
fbut: discussion about IO
#24 opened by hasufell - 0
- 1
Rewrite article on 2nd Functor law
#17 opened by quchen - 1
Typos in the Cont article
#26 opened by nkaretnikov - 4
- 2
Write Data.ByteString.Char8 is probably wrong
#12 opened by Zane-XY - 1
links in the TOC
#11 opened by Dobiasd - 5
Write yourself a brainfuck on SoH?
#4 opened by funrep - 1
AMP: Use <$> instead of `fmap`
#2 opened by andreasabel