• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for agda2hs-1.0 candidate source tarball

agda2hs-1.0/src/Agda2Hs/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