Gitstar Ranking

agda / agda2hs

Compiling Agda code to readable Haskell - View it on GitHub
https://agda.github.io/agda2hs
Star
200
Rank
176509