diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2014-04-10 16:22:04 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2014-05-06 09:59:00 +0200 |
| commit | d2f36624980cdc169d0ebcc4c0be66446b4a8936 (patch) | |
| tree | bdf2b9ec219d0312f9217ac13135cb235bad8ceb /pretyping/evarconv.mli | |
| parent | 99c8b69f5ef0f92b26ec23be06743312846f5af3 (diff) | |
Add doc on the new API for universe polymorphism and primitive projections
Diffstat (limited to 'pretyping/evarconv.mli')
0 files changed, 0 insertions, 0 deletions