aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/cClosure.mli
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Added support for a side effect on constants in reduction functions.Gravatar Thomas Sibut-Pinote2017-06-04
* closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)Gravatar Pierre Letouzey2016-07-03