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

Directory listing for Agda-2.9.0 candidate source tarball

Agda-2.9.0/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
  • Maybe.agda
  • Nat.agda
  • Reflection.agda
  • Sigma.agda
  • Size.agda
  • Strict.agda
  • String.agda
  • TrustMe.agda
  • Unit.agda
  • Word.agda
  • Char/
    • Properties.agda
  • Cubical/
    • Equiv.agda
    • Glue.agda
    • HCompU.agda
    • Path.agda
    • Sub.agda
  • Equality/
    • Erase.agda
    • Rewrite.agda
  • Erased/
    • Box-cong.agda
    • Erased.agda
    • Funext.agda
    • Propext.agda
    • Quotient.agda
  • Float/
    • Properties.agda
  • Reflection/
    • External.agda
    • Properties.agda
  • String/
    • Properties.agda
  • Word/
    • Properties.agda
• Primitive/
  • Cubical.agda