agda / agda2hsLinks

Compiling Agda code to readable Haskell
190Updated 3 weeks ago

Alternatives and similar repositories for agda2hs

Users that are interested in agda2hs are comparing it to the libraries listed below

Sorting: