Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for agda2hs-0.1.20230328 candidate source tarball
agda2hs-0.1.20230328/src/
AgdaInternals.hs
Main.hs
Agda2Hs/
AgdaUtils.hs
Compile.hs
HsUtils.hs
Pragma.hs
Render.hs
Compile/
ClassInstance.hs
Data.hs
Function.hs
Function.hs-boot
Imports.hs
Name.hs
Postulate.hs
Record.hs
Term.hs
Type.hs
TypeDefinition.hs
Types.hs
Utils.hs