Category:Agda2 User

From Rosetta Code

This is a list of users on Rosetta Code who say they can use Agda2 with any level of proficiency.

This category currently contains no pages or media.

Retrieved from "https://rosettacode.org/wiki/Category:Agda2_User?oldid=143036"