aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/extraction/json.ml
Commit message (Expand)AuthorAge
* Extraction: nicer implementation of ImplicitsGravatar Pierre Letouzey2015-12-12
* JSON extraction: make explicit each group of mutually-recursive fixpointsGravatar Nickolai Zeldovich2015-04-09
* Add extraction to JSON.Gravatar Nickolai Zeldovich2015-04-09