6.11.1.1. The forall-or-nothing rule¶| ghc.gitlab.haskell.org
5.2.3. Individual warning options¶| ghc.gitlab.haskell.org
6.4.16. Visible type application¶| ghc.gitlab.haskell.org
6.4.10. Datatype promotion¶| ghc.gitlab.haskell.org
computers i guess| jade.fyi
We all know that we can use Haskell to write functional programs that compute stuff. But can we also use Haskell to write mathematical proofs? Yes!| Ascetic Slug