Index of /data/main/a/agda-stdlib/2.1-4/src

• Parent Directory
• Algebra.agda
• Algebra/
• Axiom/
• Codata/
• Data/
• Debug/
• Effect/
• Foreign/
• Function.agda
• Function/
• IO.agda
• IO/
• Induction.agda
• Induction/
• Level.agda
• Level/
• Reflection.agda
• Reflection/
• Relation/
• Size.agda
• Strict.agda
• System/
• Tactic/
• Test/
• Text/