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

Directory listing for agda-unused-0.1.0 candidate source tarball

agda-unused-0.1.0/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