agda

agda/agda2hs

Compiling Agda code to readable Haskell

5 good first / help-wanted issues · Agda · last activity Oct 25, 2026

211 stars 51 forks 211 watchers Agda MIT License

View on GitHub Website

5 Open Issues Need Help Last updated: Oct 25, 2026

Open Issues Need Help

View All on GitHub

Add bindings for numeric typeclasses 9 days ago

enhancement good first issue library

211

Compiling Agda code to readable Haskell

Agda

Improve agda2hs' test infrastructure 11 months ago

help wanted

211

Compiling Agda code to readable Haskell

Agda

Add support for functions from System.Environment 12 months ago

enhancement good first issue prelude

211

Compiling Agda code to readable Haskell

Agda

Error "case_of_ must be fully applied to a lambda term in "Generate test-suite HTML" CI action about 1 year ago

bug help wanted

211

Compiling Agda code to readable Haskell

Agda

Check consistency of instances for unboxed records about 1 year ago

enhancement help wanted error-reporting

211

Compiling Agda code to readable Haskell

Agda