Commits

Author Commit Message Labels Comments Date
Sebastien Mondet
doc: improve `README.md` and `implementation.md`
Sebastien Mondet
Release 0.0.1 (updating generated files)
Tags
pvem.0.0.1
Sebastien Mondet
Result: fix compilation with 4.01.0
Sebastien Mondet
build: update generated files
Sebastien Mondet
build: update generated files
Sebastien Mondet
doc: improve the `READMe.md` file
Sebastien Mondet
build: update generated files
Sebastien Mondet
lib: add function `ERROR_MONAD.destruct`
Sebastien Mondet
build: update generated files
Sebastien Mondet
doc: add an INSTALL file
Sebastien Mondet
build: update generated files
Sebastien Mondet
build: update generated files
Sebastien Mondet
build: update `please.ml` and `META`
Sebastien Mondet
build: replace `mk` with `please.ml`
Sebastien Mondet
build: add (un)install targets
Sebastien Mondet
doc,pvem: add some documentation
Sebastien Mondet
build: add documentation generation
Sebastien Mondet
pvem: add missing functions to signature
Sebastien Mondet
git: add a .gitignore file
Sebastien Mondet
test,build: add a test of the Pvem module
Sebastien Mondet
pvem: improve `With_deferred` functor application
Sebastien Mondet
pvem: simplify the `DEFERRED_RESULT` module type
Sebastien Mondet
pvem: add function `some ~or_fail`
Sebastien Mondet
doc: add implementation notes
Sebastien Mondet
build: import basic implementation