Agda (programming language): Difference between revisions

Content deleted Content added
Reverting edit(s) by 2001:FB1:49:25D6:94AC:984D:510F:F139 (talk) to rev. 1246719711 by Great.vehicle: Vandalism (UV 0.1.6)
Line 151:
[[Category:Haskell programming language family]]
[[Category:Cross-platform free software]]
[[Category:Free compilers and interpretersopen source compilers]]
[[Category:Chalmers University of Technology]]
[[Category:Programming languages created in 2007]]