Star AlbumentationsX on GitHub — it powers this leaderboard

Star on GitHub
← Back to leaderboard
soimort

agda-pkg

soimort/agda-pkg

The Agda Package Manager

0stars
View on GitHub
Forks
0
Open issues
0
Watchers
0
Size
19.5 MB
MIT License
Created: Jan 10, 2020
Updated: Jan 10, 2020
Last push: Jan 10, 2020
Fork