diff options
| author | Hugo Herbelin | 2015-10-23 17:54:48 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:07 +0100 |
| commit | 17ca1e516bee3148ea7e3f272a443836c4949fc5 (patch) | |
| tree | 94ff27a83c13eae40d4af3587551b50c02bc334c /plugins | |
| parent | 5330263aaccb3ba9e7fcb8fada0737491fd99645 (diff) | |
Changing representation of prod over two Type: since the rule needs subtyping anyway to manage the Set and Prop cases, why not to simplify it by using subtyping also for managing Type.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions