Gitstar Ranking

agda / agda2hs

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