- Build haddock documentation of a cabal project
- A remark on lazy ST monad and MonadFix instance for IOSim
- Typed Protocols @ Haskell Love
- Strictness of foldr' from containers package
- Haddock: better support for multiple components
- Pipelining in Typed Protocols
- Masking Asynchronous Exceptions
- Ghc Tags Plugin
- Monoidal and Applicative Functors
- Why Monadic IO?
- Categories with Monadic Effects and State Machines
- Kleisli categories and free monads
- Composing cofree interpreters
- Monadicity
- Free algebras
- From free algebras to free monads
- Typed Transitions, Finite State Machines and Free Categories
- Workshop on Category Theory
- Routing with cofree comonad
- Peano Algebras in Haskell
coot / checkmate Goto Github PK
View Code? Open in Web Editor NEWThis project forked from quantifiedcode/checkmate
Checkmate - A simple yet powerful meta code-checker with support for multiple languages.
License: Other