diff options
| author | Amin Timany | 2017-07-07 14:09:31 +0200 |
|---|---|---|
| committer | Amin Timany | 2017-07-31 18:05:54 +0200 |
| commit | fbe0b2645eab84012aec50e76d94e15a3fefe664 (patch) | |
| tree | 40aa5ddc6c55f889b1d92b547b5d48d02bd5e23c /API/API.mli | |
| parent | 17f37f42792b3150fcebb6236b9896845957b89d (diff) | |
Issue error on monomorphic cumulative inductives
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions