Difference between revisions of "Category:Agda"
Jump to navigation
Jump to search
(Created page with "See Agda") |
|||
| Line 1: | Line 1: | ||
See [[Agda]] | See [[Agda]] | ||
[[Category:Meta Language]] | |||
[[Category:Proof Assistant]] | |||
See Agda
The following 2 pages are in this category, out of 2 total.