Content deleted Content added
m Cic moved page Talk:Induction-recursion (type theory) to Talk:Induction-recursion: No collision |
Mark viking (talk | contribs) Assessment: +Mathematics: class=Start, priority=Low, field=foundations (assisted) |
||
Line 1:
{{Maths rating |class=Start |priority=Low |field=foundations}}
When I wrote the initial version, I contacted Dybjer to make sure it was accurate. This was his reply on 2013 Jan 30:
| |||