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

• Parent Directory
• AVL.agda
• AVL/
• Bool.agda
• Bool/
• Bytestring/
• Char.agda
• Char/
• Container.agda
• Container/
• Default.agda
• DifferenceList.agda
• DifferenceNat.agda
• DifferenceVec.agda
• Digit.agda
• Digit/
• Empty.agda
• Empty/
• Erased.agda
• Fin.agda
• Fin/
• Float.agda
• Float/
• Graph/
• Integer.agda
• Integer/
• Irrelevant.agda
• List.agda
• List/
• Maybe.agda
• Maybe/
• Nat.agda
• Nat/
• Parity.agda
• Parity/
• Product.agda
• Product/
• Rational.agda
• Rational/
• Record.agda
• Refinement.agda
• Refinement/
• Sign.agda
• Sign/
• Star/
• String.agda
• String/
• Sum.agda
• Sum/
• These.agda
• These/
• Tree/
• Trie.agda
• Trie/
• Unit.agda
• Unit/
• Universe.agda
• Universe/
• Vec.agda
• Vec/
• W.agda
• W/
• Word.agda
• Word/
• Word8/
• Word64.agda
• Word64/
• Wrap.agda