diff options
| author | Matthieu Sozeau | 2014-06-20 15:06:47 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-20 15:06:47 +0200 |
| commit | d6ce38cc3aa469446bad73dea3915ed9443751bd (patch) | |
| tree | 003e27854ff0b95814a0eba87298c022bd489694 /kernel | |
| parent | 1e2fa3a3a0ce3c5be93287ee034fc1fddc82d733 (diff) | |
Fixed some HoTT bugs, provide a proper error message when giving an ill-formed
universe instance.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions