aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/extraction/vo.itarget
Commit message (Expand)AuthorAge
* Add efficient extraction of [nat], [Z], and [string] to HaskellGravatar Nickolai Zeldovich2015-06-22
* add ExtrHaskellBasic.v to mirror ExtrOcamlBasic.vGravatar Nickolai Zeldovich2015-04-08
* Extraction: in support library, more and nicer big_intGravatar letouzey2010-06-15
* Extraction: attempt to provide nice extraction of chars and strings for OcamlGravatar letouzey2010-06-04
* Extraction: finish ExtrOcamlNatInt, add similar translation nat==>big_intGravatar letouzey2010-06-04
* Extraction: start of a support libraryGravatar letouzey2010-06-02