refactoring the monad library
Showing
- Categories/Monad/Algebra.v 41 additions, 206 deletionsCategories/Monad/Algebra.v
- Categories/Monad/AlgebraicOperations.v 27 additions, 0 deletionsCategories/Monad/AlgebraicOperations.v
- Categories/Monad/Monad.v 0 additions, 372 deletionsCategories/Monad/Monad.v
- Categories/Monad/MonadTripleEquivalence.v 185 additions, 0 deletionsCategories/Monad/MonadTripleEquivalence.v
- Categories/Monad/Triple.v 220 additions, 0 deletionsCategories/Monad/Triple.v
- Categories/Monad/TripleAlgebra.v 85 additions, 0 deletionsCategories/Monad/TripleAlgebra.v
- Categories/_CoqProject 1 addition, 0 deletionsCategories/_CoqProject
- CoqExamples/dijkstra.v 141 additions, 107 deletionsCoqExamples/dijkstra.v
Loading
Please register or sign in to comment