[Git][monnier/typer][simon-genier] 2 commits: Add eliminators for Pair in pervasive.typer.
by Simon Génier 29 Sep '19
by Simon Génier 29 Sep '19
29 Sep '19
2
1
1
0
1
0
[Git][monnier/typer][master] First tweak to try and handle parameterized inductives
by Stefan 13 Sep '19
by Stefan 13 Sep '19
13 Sep '19
1
0
13 Sep '19
1
0