Pages that link to "Category:Agda2"
The following pages link to Category:Agda2:
Displayed 4 items.
- Agda2 (redirect page) (← links | edit)
- Talk:RC POP.OUT (← links | edit)
- Category:Agda2/Omit (← links | edit)
- Category:Agda2 examples needing attention (← links | edit)
- Category:Agda2 User (← links | edit)
- Rosetta Code/Rank languages by popularity/Full list (← links | edit)
- User:GarveyPatrickD/Category Hierarchy (← links | edit)
- Category:Agda2 Implementations (← links | edit)