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

Directory listing for agda-unused-0.2.0 candidate source tarball

agda-unused-0.2.0/data/

• declaration/
  • Abstract.agda
  • Data.agda
  • DataDef.agda
  • FunClause.agda
  • Import.agda
  • Module.agda
  • ModuleMacro.agda
  • Mutual1.agda
  • Mutual2.agda
  • Open1.agda
  • Open2.agda
  • PatternSyn.agda
  • Postulate.agda
  • Private.agda
  • Record.agda
  • RecordDef.agda
  • Syntax.agda
  • TypeSig.agda
• example/
  • Test.agda
• expression/
  • DoBlock1.agda
  • DoBlock2.agda
  • DoBlock3.agda
  • DoBlock4.agda
  • ExtendedLam.agda
  • Lam.agda
  • Let.agda
  • Pi.agda
  • WithApp.agda
• pattern/
  • AsP.agda
  • IdentP.agda
  • OpAppP.agda