Gitstar Ranking

input-output-hk / stdlib-meta

Meta-programming utilities for Agda. - View it on GitHub
https://omelkonian.github.io/stdlib-meta
Star
0
Rank
14463574