Revision as of 12:57, 21 May 2020 edit 2a01:cb1d:8df2:ba00:d5a6:3795:573:fc78 (talk) →Universe example ← Previous edit		Revision as of 17:03, 11 August 2020 edit undo Jorge-JBS (talk \| contribs) 3 edits Add reference to claim about induction-recursion being implemented in Agda Tag: Visual edit Next edit →
Line 57: ==Usage== Induction-Recursion is implemented in [[Agda (programming language)\|Agda]] and [[Idris (programming language)\|Idris]].<ref>{{Cite web\|title=AgdaVsCoq {{!}} The Agda Wiki\|url=https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AgdaVsCoq\|access-date=2020-08-11\|website=wiki.portal.chalmers.se}}</ref> ==See also==

Induction-recursion: Difference between revisions