Extra Credit
Agda
Agda is a dependently typed functional programming language: It has inductive families, which are similar to Haskell's GADTs, but they can b
Official docs outline
Extra Credit builds an outline of Agda's docs the first time your work uses it. Until then, start at the official documentation.
More in Haskell packages
All 1,000- hindent Extensible Haskell pretty printer. Both a library and an executable. See the GitHub page for usage / explanation: https://github.com/mihaima
- network-conduit
- hOpenPGP
- postgresql-libpq
- X11 A Haskell binding to the X11 graphics library. The binding is a direct translation of the C binding; for documentation of these calls, refer
- unliftio Please see the documentation and README at https://www.stackage.org/package/unliftio
- monoid-extras
- test-framework-quickcheck2
- deepseq
- xmobar
- relational-query
- haskell-lexer