coq-community/coq-ext-lib Issues
Use Universe Polymorphism
Updated 1set up documentation generation
Updated 1Extraction to Haskell
Updated 1state monad using record as a state
Updated 4Simplify Monad
Updated 6Simplify Show
Updated 7monad library
Updated 6stdlibpp
UpdatedDuplicate Monad List instances
Closed 3Right Idenity in MonadLaw
Closed 4notation conflict
Closed 24Add the let* monadic notation
Closed 3build problem
Closed 2Operator priority
Closed 1MonadLaws are commented out
Closed 20Turn on CI
Closed 1Operator associativity
Closed 1>=> should be right associative
Closed 1OPAM package lacks source files
Closed 4fold direction?
Closed 1coq-ext-lib.0.9.6 and coq-8.7.0
Closed 2coq 8.6 support
Closed 5coqdoc
Closed 5universe inconsistency
Closed 14WriterMonad
Closed 3