1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
agda-git 2.5.1.r8151.g4108da695-1 3 0.00 A dependently typed functional programming language and proof assistant: development version johngowers 2020-11-12 20:31 (UTC)

1 package found. Page 1 of 1.