search

agda / agda2hs

Compiling Agda code to readable Haskell
https://agda.github.io/agda2hs
MIT License
178 stars 37 forks source link

Update Agda base to 2.7.0 #349

Closed jespercockx closed 2 months ago

jespercockx commented 3 months ago

Agda 2.7.0 has been released, so we should update agda2hs to support the latest features.