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

Directory listing for agda-unused-0.1.0 source tarball

agda-unused-0.1.0/

• CHANGELOG.md
• LICENSE
• README.md
• agda-unused.cabal
• app/
  • Main.hs
• data/
  • Agda/
    • Primitive.agda
    • Builtin/
      • Bool.agda
      • Char.agda
      • Coinduction.agda
      • Equality.agda
      • Float.agda
      • FromNat.agda
      • FromNeg.agda
      • FromString.agda
      • IO.agda
      • Int.agda
      • List.agda
      • Nat.agda
      • Reflection.agda
      • Sigma.agda
      • Size.agda
      • Strict.agda
      • String.agda
      • TrustMe.agda
      • Unit.agda
      • Word.agda
      • Char/
        • Properties.agda
      • Cubical/
        • Glue.agda
        • HCompU.agda
        • Id.agda
        • Path.agda
        • Sub.agda
      • Equality/
        • Erase.agda
        • Rewrite.agda
      • Float/
        • Properties.agda
      • Reflection/
        • Properties.agda
      • String/
        • Properties.agda
      • Word/
        • Properties.agda
    • Primitive/
      • Cubical.agda
  • test/
    • declaration/
      • Abstract.agda
      • Data.agda
      • FunClause.agda
      • Import.agda
      • Module.agda
      • ModuleMacro.agda
      • Mutual1.agda
      • Mutual2.agda
      • Open.agda
      • PatternSyn.agda
      • Postulate.agda
      • Private.agda
      • Record.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
      • Parse.hs
      • Print.hs
      • Utils.hs
      • Monad/
        • Error.hs
        • Reader.hs
        • State.hs
      • Types/
        • Access.hs
        • Context.hs
        • Name.hs
        • Range.hs
        • Root.hs
• test/
  • Main.hs