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

Directory listing for Agda-2.6.3.20230930 candidate source tarball

Agda-2.6.3.20230930/src/data/lib/prim/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
  • Id.agda
  • Path.agda
  • Sub.agda
• Equality/
  • Erase.agda
  • Rewrite.agda
• Float/
  • Properties.agda
• Reflection/
  • External.agda
  • Properties.agda
• String/
  • Properties.agda
• Word/
  • Properties.agda