Commits

Author Commit Message Labels Comments Date
Dmitry Grebeniuk
small fixes for .hgignore
Dmitry Grebeniuk
small fixes for Makefile + .hgignore
Dmitry Grebeniuk
Coq 8.3pl4 can't compile ErrorMonad.v, complains "Error: The label Error is already declared". (seems like "Error : E -> error E A" and "Module Error." conflict.) Fixed by introducing another module. (Ok/Error still visible when opening ErrorMonad.)
wojc...@gmail.com
Add missing [Require].
wojc...@gmail.com
Reenable ReaderMonad, still have to fix the compilation problem
wojc...@gmail.com
Replace the [Section] mechanism for implicit arguments with a newer syntax
wojc...@gmail.com
Few more tweaks for documentation
wojc...@gmail.com
Further changes due to renaming
wojc...@gmail.com
Remove old file (Identity.v)
wojc...@gmail.com
Rename Identity to IdentityMonad
wojc...@gmail.com
Rename Identity to IdentityMonad
Dmitry Grebeniuk
added/changed doc; wrapped long lines
wojc...@gmail.com
Fix compilation problem
wojc...@gmail.com
Add needed module type constraint
wojc...@gmail.com
Add clean target to Makefile
wojc...@gmail.com
Add html/ to .hgignore.
wojc...@gmail.com
More docs
wojc...@gmail.com
Add some more doc comments
wojc...@gmail.com
Add my name as the contributor :-)
wojc...@gmail.com
Add Identity.v to the build system
wojc...@gmail.com
Add Identity monad as a separate module, and update rest of the code
wojc...@gmail.com
Better documentation and move Identity monad to separate module
wojc...@gmail.com
More functionality for monads
wojc...@gmail.com
Back to Basics rather than Sequence and stub for the more advances operations
wojc...@gmail.com
Add default value for record projection
wojc...@gmail.com
Add projection to record, for people who prefer first class monadic interface
wojc...@gmail.com
Add explicit @
wojc...@gmail.com
Add more stuff to Monads.v. Better doc and more operators
wojc...@gmail.com
By error commented out wrong file from the build system
wojc...@gmail.com
Rename MONADT_BASICS -> MONAD_SEQUENCE
  1. Prev
  2. Next