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

Directory listing for Agda-2.5.4.2 source tarball

Agda-2.5.4.2/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
• Nat.agda
• Reflection.agda
• Sigma.agda
• Size.agda
• Strict.agda
• String.agda
• TrustMe.agda
• Unit.agda
• Word.agda