Docs: tweak features.md - Githubissues

agda / agda2hs

Compiling Agda code to readable Haskell

https://agda.github.io/agda2hs

MIT License

178 stars 37 forks source link

Docs: tweak features.md #375

Closed anuyts closed 1 month ago