srid/agda-template - Gitstar Ranking

Gitstar Ranking

Users
Organizations
Repositories
Rankings

Sign in with GitHub

srid

Fetched on 2025/03/15 12:18

srid / agda-template

Imperfect Agda project template using Nix - View it on GitHub

Star

9

Rank

1493003

Released by @k0kubun in December 2014. Fork me on GitHub.