Category:Agda2 Implementations: Difference between revisions
Replaced with "{{implementation cat|Agda2}}".
(New page: {{SUBST:PAGENAME}}) |
Underscore (talk | contribs) (Replaced with "{{implementation cat|Agda2}}".) |
||
Line 1:
{{implementation cat|Agda2}}
| |||