sci.jeuri101.libraries - Revision 1238: /multirec_DEPRECATED/branches/Indexed/src-agda

• ..
• AST.agda
• Derivative.agda
• Dissection.agda
• Enum.agda
• Eq.agda
• Eq2.agda
• Fold.agda
• GADTs.agda
• IndexedDissection.agda
• IxFun.agda
• IxFun2.agda
• IxFunProofs.agda
• List.agda
• ListPair.agda
• Nat.agda
• Pair.agda
• Perfect.agda
• Prelude.agda
• RoseTree.agda
• SemiEq.agda
• SimpleDissection.agda
• SimpleIndexedDissection.agda
• TestZipper.agda
• Tree.agda
• TreeNat.agda
• ZipWith.agda
• Zipper.agda
• Zipper2.agda