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

Directory listing for Agda-2.6.1 source tarball

Agda-2.6.1/src/data/lib/

• prim/
  • 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