aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/monad.mli
Commit message (Expand)AuthorAge
* Fix #4416: - Incorrect "Error: Incorrect number of goals"Gravatar Arnaud Spiwack2016-10-10
* Monad: change the error managing of two-list combinators.Gravatar Arnaud Spiwack2014-10-23
* An additional [List.iter] monadic combinator.Gravatar Arnaud Spiwack2014-10-22
* Add more primitives to the [Monad.Make] arguments.Gravatar Arnaud Spiwack2014-10-22
* Add a two-list monadic fold_left iterator.Gravatar Arnaud Spiwack2014-10-22
* Adding a Ftactic module for potentially focussing tactics.Gravatar Pierre-Marie Pédrot2014-09-05
* Tacinterp: more refactoring.Gravatar Arnaud Spiwack2014-02-27
* Tacinterp: refactoring using Monad.Gravatar Arnaud Spiwack2014-02-27
* Remove unsafe code (Obj.magic) in Tacinterp.Gravatar Arnaud Spiwack2014-02-27