agda/agda2hs Issues
Disappearing qualified import
Closed 4Tuple projection bug
Closed 3Add support for Data.Dynamic
Updated 2Release agda2hs 1.1
Closed 8__IMPOSSIBLE__
Closed 2Add tutorial to the user manual
Closed 1Integrate agda2hs with cabal
Updated 5Release agda2hs 1.0
Closed 9Support for strict Haskell
UpdatedQualified imports
Closed 1