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

Directory listing for agda-unused-0.3.0 source tarball

agda-unused-0.3.0/

• CHANGELOG.md
• LICENSE
• README.md
• agda-unused.cabal
• app/
  • Main.hs
• 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
• src/
  • Agda/
    • Unused.hs
    • Unused/
      • Check.hs
      • Print.hs
      • Utils.hs
      • Monad/
        • Error.hs
        • Reader.hs
        • State.hs
      • Types/
        • Access.hs
        • Context.hs
        • Name.hs
        • Range.hs
• test/
  • Main.hs