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

Directory listing for agda2hs-1.4 candidate source tarball

agda2hs-1.4/lib/base/Haskell/Extra/

• Dec.agda
• Delay.agda
• Erase.agda
• Refinement.agda
• Sigma.agda