Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Type-safe grammar extensions. | 2015-10-27 | ||
* | Pcoq entries are given a proper module. | 2015-10-26 | ||
* | Getting rid of the Atactic entry. | 2015-10-25 | ||
* | Getting rid of the Agram entry. | 2015-10-25 | ||
* | Pcoq.prod_entry_key now uses a GADT to statically enforce typedness. | 2015-10-21 | ||
* | Turn Pcoq into a regular ML file. | 2015-10-21 |