Created
July 29, 2019 08:55
-
-
Save jespercockx/c28a4792b6d3619c167e22198d73b07c to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Without covering clauses | |
| ----------------------------------------- | |
| 512K ./src/Algebra.agdai | |
| 28K ./src/Debug/Trace.agdai | |
| 72K ./src/Record.agdai | |
| 52K ./src/Function.agdai | |
| 20K ./src/Strict.agdai | |
| 64K ./src/Induction/Lexicographic.agdai | |
| 24K ./src/Induction/Nat.agdai | |
| 136K ./src/Induction/WellFounded.agdai | |
| 88K ./src/Text/Printf.agdai | |
| 104K ./src/Text/Format.agdai | |
| 32K ./src/Foreign/Haskell/Maybe.agdai | |
| 36K ./src/Foreign/Haskell/Pair.agdai | |
| 28K ./src/Foreign/Haskell.agdai | |
| 16K ./src/Size.agdai | |
| 412K ./src/Reflection.agdai | |
| 20K ./src/Level.agdai | |
| 28K ./src/Level/Literals.agdai | |
| 28K ./src/Data/DifferenceNat.agdai | |
| 180K ./src/Data/Record.agdai | |
| 56K ./src/Data/Nat/Show.agdai | |
| 28K ./src/Data/Nat/WithK.agdai | |
| 24K ./src/Data/Nat/Literals.agdai | |
| 276K ./src/Data/Nat/LCM.agdai | |
| 64K ./src/Data/Nat/Primality.agdai | |
| 224K ./src/Data/Nat/Coprimality.agdai | |
| 120K ./src/Data/Nat/Solver.agdai | |
| 124K ./src/Data/Nat/Divisibility/Core.agdai | |
| 112K ./src/Data/Nat/DivMod/WithK.agdai | |
| 256K ./src/Data/Nat/DivMod/Core.agdai | |
| 96K ./src/Data/Nat/Base.agdai | |
| 208K ./src/Data/Nat/DivMod.agdai | |
| 188K ./src/Data/Nat/GCD/Lemmas.agdai | |
| 148K ./src/Data/Nat/InfinitelyOften.agdai | |
| 288K ./src/Data/Nat/GCD.agdai | |
| 364K ./src/Data/Nat/Divisibility.agdai | |
| 836K ./src/Data/Nat/Properties.agdai | |
| 120K ./src/Data/Nat/GeneralisedArithmetic.agdai | |
| 116K ./src/Data/Nat/Induction.agdai | |
| 24K ./src/Data/List.agdai | |
| 28K ./src/Data/Integer/Literals.agdai | |
| 120K ./src/Data/Integer/Coprimality.agdai | |
| 104K ./src/Data/Integer/Solver.agdai | |
| 244K ./src/Data/Integer/Divisibility/Signed.agdai | |
| 104K ./src/Data/Integer/Base.agdai | |
| 228K ./src/Data/Integer/DivMod.agdai | |
| 180K ./src/Data/Integer/Divisibility.agdai | |
| 1,1M ./src/Data/Integer/Properties.agdai | |
| 36K ./src/Data/Fin/Literals.agdai | |
| 156K ./src/Data/Fin/Subset.agdai | |
| 40K ./src/Data/Fin/Dec.agdai | |
| 152K ./src/Data/Fin/Base.agdai | |
| 132K ./src/Data/Fin/Substitution.agdai | |
| 136K ./src/Data/Fin/Substitution/List.agdai | |
| 664K ./src/Data/Fin/Substitution/Lemmas.agdai | |
| 160K ./src/Data/Fin/Substitution/Example.agdai | |
| 396K ./src/Data/Fin/Properties.agdai | |
| 56K ./src/Data/Fin/Induction.agdai | |
| 120K ./src/Data/Fin/Permutation.agdai | |
| 532K ./src/Data/Fin/Subset/Properties.agdai | |
| 124K ./src/Data/Fin/Permutation/Components.agdai | |
| 24K ./src/Data/String/Literals.agdai | |
| 32K ./src/Data/String/Unsafe.agdai | |
| 92K ./src/Data/String/Base.agdai | |
| 120K ./src/Data/String/Properties.agdai | |
| 32K ./src/Data/W/WithK.agdai | |
| 48K ./src/Data/W/Indexed.agdai | |
| 32K ./src/Data/Sum.agdai | |
| 40K ./src/Data/Container.agdai | |
| 84K ./src/Data/Vec.agdai | |
| 212K ./src/Data/Digit.agdai | |
| 64K ./src/Data/Product.agdai | |
| 48K ./src/Data/DifferenceList.agdai | |
| 152K ./src/Data/AVL.agdai | |
| 192K ./src/Data/Trie/NonEmpty.agdai | |
| 64K ./src/Data/Nat.agdai | |
| 52K ./src/Data/Rational/Literals.agdai | |
| 144K ./src/Data/Rational/Base.agdai | |
| 284K ./src/Data/Rational/Properties.agdai | |
| 132K ./src/Data/Trie.agdai | |
| 24K ./src/Data/Float.agdai | |
| 120K ./src/Data/Star/Decoration.agdai | |
| 32K ./src/Data/Star/List.agdai | |
| 88K ./src/Data/Star/Vec.agdai | |
| 72K ./src/Data/Star/Nat.agdai | |
| 124K ./src/Data/Star/Pointer.agdai | |
| 28K ./src/Data/Star/Fin.agdai | |
| 56K ./src/Data/Star/Environment.agdai | |
| 24K ./src/Data/Star/Properties.agdai | |
| 88K ./src/Data/Star/BoundedVec.agdai | |
| 220K ./src/Data/Graph/Acyclic.agdai | |
| 72K ./src/Data/Bool.agdai | |
| 56K ./src/Data/W.agdai | |
| 156K ./src/Data/Bin.agdai | |
| 20K ./src/Data/Char.agdai | |
| 40K ./src/Data/Word/Unsafe.agdai | |
| 20K ./src/Data/Sign.agdai | |
| 40K ./src/Data/Sum/Base.agdai | |
| 44K ./src/Data/Sum/Categorical/Examples.agdai | |
| 60K ./src/Data/Sum/Categorical/Right.agdai | |
| 60K ./src/Data/Sum/Categorical/Left.agdai | |
| 72K ./src/Data/Sum/Function/Propositional.agdai | |
| 140K ./src/Data/Sum/Function/Setoid.agdai | |
| 24K ./src/Data/Sum/Relation/LeftOrder.agdai | |
| 24K ./src/Data/Sum/Relation/Pointwise.agdai | |
| 216K ./src/Data/Sum/Relation/Binary/LeftOrder.agdai | |
| 196K ./src/Data/Sum/Relation/Binary/Pointwise.agdai | |
| 84K ./src/Data/Sum/Properties.agdai | |
| 20K ./src/Data/Bool/Show.agdai | |
| 108K ./src/Data/Bool/Solver.agdai | |
| 24K ./src/Data/Bool/Base.agdai | |
| 352K ./src/Data/Bool/Properties.agdai | |
| 36K ./src/Data/AVL/Height.agdai | |
| 64K ./src/Data/AVL/Value.agdai | |
| 268K ./src/Data/AVL/Indexed.agdai | |
| 140K ./src/Data/AVL/NonEmpty.agdai | |
| 92K ./src/Data/AVL/Indexed/WithK.agdai | |
| 116K ./src/Data/AVL/IndexedMap.agdai | |
| 92K ./src/Data/AVL/Sets.agdai | |
| 84K ./src/Data/AVL/Key.agdai | |
| 76K ./src/Data/AVL/NonEmpty/Propositional.agdai | |
| 72K ./src/Data/List/Zipper.agdai | |
| 28K ./src/Data/List/Literals.agdai | |
| 64K ./src/Data/List/Reverse.agdai | |
| 24K ./src/Data/List/All.agdai | |
| 108K ./src/Data/List/Zipper/Properties.agdai | |
| 52K ./src/Data/List/Solver.agdai | |
| 176K ./src/Data/List/Base.agdai | |
| 232K ./src/Data/List/Extrema.agdai | |
| 128K ./src/Data/List/Extrema/Core.agdai | |
| 152K ./src/Data/List/Extrema/Nat.agdai | |
| 208K ./src/Data/List/NonEmpty.agdai | |
| 20K ./src/Data/List/Any.agdai | |
| 28K ./src/Data/List/All/Properties.agdai | |
| 20K ./src/Data/List/Relation/Sublist/Propositional.agdai | |
| 24K ./src/Data/List/Relation/Sublist/Propositional/Properties.agdai | |
| 24K ./src/Data/List/Relation/Lex/Strict.agdai | |
| 24K ./src/Data/List/Relation/Lex/NonStrict.agdai | |
| 20K ./src/Data/List/Relation/Equality/Propositional.agdai | |
| 72K ./src/Data/List/Relation/Equality/DecSetoid.agdai | |
| 68K ./src/Data/List/Relation/Equality/Setoid.agdai | |
| 80K ./src/Data/List/Relation/Equality/DecPropositional.agdai | |
| 24K ./src/Data/List/Relation/Pointwise.agdai | |
| 88K ./src/Data/List/Relation/Binary/Sublist/Propositional.agdai | |
| 84K ./src/Data/List/Relation/Binary/Sublist/DecSetoid.agdai | |
| 68K ./src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agdai | |
| 144K ./src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agdai | |
| 228K ./src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agdai | |
| 100K ./src/Data/List/Relation/Binary/Sublist/Setoid.agdai | |
| 108K ./src/Data/List/Relation/Binary/Sublist/Heterogeneous.agdai | |
| 60K ./src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agdai | |
| 68K ./src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agdai | |
| 200K ./src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agdai | |
| 468K ./src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agdai | |
| 84K ./src/Data/List/Relation/Binary/Sublist/DecPropositional.agdai | |
| 64K ./src/Data/List/Relation/Binary/Disjoint/Propositional.agdai | |
| 116K ./src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agdai | |
| 84K ./src/Data/List/Relation/Binary/Disjoint/Setoid.agdai | |
| 100K ./src/Data/List/Relation/Binary/Prefix/Heterogeneous.agdai | |
| 312K ./src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agdai | |
| 188K ./src/Data/List/Relation/Binary/Lex/Strict.agdai | |
| 160K ./src/Data/List/Relation/Binary/Lex/Core.agdai | |
| 148K ./src/Data/List/Relation/Binary/Lex/NonStrict.agdai | |
| 84K ./src/Data/List/Relation/Binary/Equality/Propositional.agdai | |
| 76K ./src/Data/List/Relation/Binary/Equality/DecSetoid.agdai | |
| 112K ./src/Data/List/Relation/Binary/Equality/Setoid.agdai | |
| 88K ./src/Data/List/Relation/Binary/Equality/DecPropositional.agdai | |
| 96K ./src/Data/List/Relation/Binary/Suffix/Heterogeneous.agdai | |
| 288K ./src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agdai | |
| 336K ./src/Data/List/Relation/Binary/Pointwise.agdai | |
| 516K ./src/Data/List/Relation/Binary/BagAndSetEquality.agdai | |
| 28K ./src/Data/List/Relation/Binary/Subset/Propositional.agdai | |
| 208K ./src/Data/List/Relation/Binary/Subset/Propositional/Properties.agdai | |
| 120K ./src/Data/List/Relation/Binary/Subset/Setoid/Properties.agdai | |
| 68K ./src/Data/List/Relation/Binary/Subset/Setoid.agdai | |
| 92K ./src/Data/List/Relation/Binary/Permutation/Propositional.agdai | |
| 88K ./src/Data/List/Relation/Binary/Permutation/Homogeneous.agdai | |
| 24K ./src/Data/List/Relation/Binary/Permutation/Inductive/Properties.agdai | |
| 416K ./src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agdai | |
| 356K ./src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agdai | |
| 20K ./src/Data/List/Relation/Binary/Permutation/Inductive.agdai | |
| 96K ./src/Data/List/Relation/Binary/Permutation/Setoid.agdai | |
| 96K ./src/Data/List/Relation/Ternary/Interleaving/Propositional.agdai | |
| 44K ./src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agdai | |
| 96K ./src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agdai | |
| 68K ./src/Data/List/Relation/Ternary/Interleaving/Setoid.agdai | |
| 216K ./src/Data/List/Relation/Ternary/Interleaving/Properties.agdai | |
| 148K ./src/Data/List/Relation/Ternary/Interleaving.agdai | |
| 28K ./src/Data/List/Relation/BagAndSetEquality.agdai | |
| 68K ./src/Data/List/Relation/Unary/AllPairs/Core.agdai | |
| 212K ./src/Data/List/Relation/Unary/AllPairs/Properties.agdai | |
| 152K ./src/Data/List/Relation/Unary/All.agdai | |
| 32K ./src/Data/List/Relation/Unary/Unique/Propositional.agdai | |
| 168K ./src/Data/List/Relation/Unary/Unique/Propositional/Properties.agdai | |
| 140K ./src/Data/List/Relation/Unary/Unique/Setoid/Properties.agdai | |
| 76K ./src/Data/List/Relation/Unary/Unique/Setoid.agdai | |
| 84K ./src/Data/List/Relation/Unary/Any.agdai | |
| 124K ./src/Data/List/Relation/Unary/AllPairs.agdai | |
| 108K ./src/Data/List/Relation/Unary/First.agdai | |
| 428K ./src/Data/List/Relation/Unary/All/Properties.agdai | |
| 556K ./src/Data/List/Relation/Unary/Any/Properties.agdai | |
| 136K ./src/Data/List/Relation/Unary/First/Properties.agdai | |
| 20K ./src/Data/List/Relation/Subset/Propositional.agdai | |
| 24K ./src/Data/List/Relation/Subset/Propositional/Properties.agdai | |
| 24K ./src/Data/List/Relation/Subset/Setoid/Properties.agdai | |
| 56K ./src/Data/List/Relation/Subset/Setoid.agdai | |
| 24K ./src/Data/List/Relation/Permutation/Inductive/Properties.agdai | |
| 20K ./src/Data/List/Relation/Permutation/Inductive.agdai | |
| 28K ./src/Data/List/Any/Properties.agdai | |
| 788K ./src/Data/List/Properties.agdai | |
| 168K ./src/Data/List/Categorical.agdai | |
| 88K ./src/Data/List/NonEmpty/Properties.agdai | |
| 72K ./src/Data/List/NonEmpty/Categorical.agdai | |
| 228K ./src/Data/List/Countdown.agdai | |
| 32K ./src/Data/List/Membership/Propositional.agdai | |
| 64K ./src/Data/List/Membership/DecSetoid.agdai | |
| 356K ./src/Data/List/Membership/Propositional/Properties.agdai | |
| 52K ./src/Data/List/Membership/Propositional/Properties/WithK.agdai | |
| 92K ./src/Data/List/Membership/Propositional/Properties/Core.agdai | |
| 336K ./src/Data/List/Membership/Setoid/Properties.agdai | |
| 92K ./src/Data/List/Membership/Setoid.agdai | |
| 68K ./src/Data/List/Membership/DecPropositional.agdai | |
| 20K ./src/Data/ReflexiveClosure.agdai | |
| 16K ./src/Data/Empty.agdai | |
| 68K ./src/Data/Container/Core.agdai | |
| 164K ./src/Data/Container/Indexed.agdai | |
| 112K ./src/Data/Container/Combinator/Properties.agdai | |
| 36K ./src/Data/Container/Membership.agdai | |
| 160K ./src/Data/Container/Indexed/WithK.agdai | |
| 52K ./src/Data/Container/Indexed/Core.agdai | |
| 196K ./src/Data/Container/Indexed/Combinator.agdai | |
| 84K ./src/Data/Container/Indexed/FreeMonad.agdai | |
| 20K ./src/Data/Container/Any.agdai | |
| 100K ./src/Data/Container/Morphism/Properties.agdai | |
| 72K ./src/Data/Container/Related.agdai | |
| 52K ./src/Data/Container/Combinator.agdai | |
| 68K ./src/Data/Container/Relation/Binary/Equality/Setoid.agdai | |
| 88K ./src/Data/Container/Relation/Binary/Pointwise.agdai | |
| 80K ./src/Data/Container/Relation/Binary/Pointwise/Properties.agdai | |
| 56K ./src/Data/Container/Relation/Unary/All.agdai | |
| 56K ./src/Data/Container/Relation/Unary/Any.agdai | |
| 352K ./src/Data/Container/Relation/Unary/Any/Properties.agdai | |
| 64K ./src/Data/Container/Properties.agdai | |
| 28K ./src/Data/Container/Morphism.agdai | |
| 64K ./src/Data/Container/FreeMonad.agdai | |
| 56K ./src/Data/These/Base.agdai | |
| 56K ./src/Data/These/Categorical/Right/Base.agdai | |
| 116K ./src/Data/These/Categorical/Right.agdai | |
| 56K ./src/Data/These/Categorical/Left/Base.agdai | |
| 116K ./src/Data/These/Categorical/Left.agdai | |
| 100K ./src/Data/These/Properties.agdai | |
| 64K ./src/Data/Unit.agdai | |
| 32K ./src/Data/String.agdai | |
| 60K ./src/Data/Sign/Base.agdai | |
| 220K ./src/Data/Sign/Properties.agdai | |
| 80K ./src/Data/Fin.agdai | |
| 184K ./src/Data/Product/Nary/NonDependent.agdai | |
| 20K ./src/Data/Product/N-ary.agdai | |
| 156K ./src/Data/Product/Categorical/Examples.agdai | |
| 32K ./src/Data/Product/Categorical/Right/Base.agdai | |
| 128K ./src/Data/Product/Categorical/Right.agdai | |
| 32K ./src/Data/Product/Categorical/Left/Base.agdai | |
| 128K ./src/Data/Product/Categorical/Left.agdai | |
| 108K ./src/Data/Product/Function/NonDependent/Propositional.agdai | |
| 136K ./src/Data/Product/Function/NonDependent/Setoid.agdai | |
| 220K ./src/Data/Product/Function/Dependent/Propositional.agdai | |
| 52K ./src/Data/Product/Function/Dependent/Propositional/WithK.agdai | |
| 108K ./src/Data/Product/Function/Dependent/Setoid/WithK.agdai | |
| 160K ./src/Data/Product/Function/Dependent/Setoid.agdai | |
| 24K ./src/Data/Product/Relation/Lex/Strict.agdai | |
| 24K ./src/Data/Product/Relation/Lex/NonStrict.agdai | |
| 212K ./src/Data/Product/Relation/Binary/Lex/Strict.agdai | |
| 156K ./src/Data/Product/Relation/Binary/Lex/NonStrict.agdai | |
| 200K ./src/Data/Product/Relation/Binary/Pointwise/NonDependent.agdai | |
| 92K ./src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agdai | |
| 112K ./src/Data/Product/Relation/Binary/Pointwise/Dependent.agdai | |
| 24K ./src/Data/Product/Relation/Pointwise/NonDependent.agdai | |
| 20K ./src/Data/Product/Relation/Pointwise/Dependent.agdai | |
| 80K ./src/Data/Product/Properties.agdai | |
| 20K ./src/Data/Product/N-ary/Properties.agdai | |
| 20K ./src/Data/Product/N-ary/Categorical.agdai | |
| 88K ./src/Data/Product/Properties/WithK.agdai | |
| 32K ./src/Data/Float/Unsafe.agdai | |
| 56K ./src/Data/Maybe/Base.agdai | |
| 112K ./src/Data/Maybe/Relation/Binary/Pointwise.agdai | |
| 100K ./src/Data/Maybe/Relation/Unary/All.agdai | |
| 72K ./src/Data/Maybe/Relation/Unary/Any.agdai | |
| 56K ./src/Data/Maybe/Relation/Unary/All/Properties.agdai | |
| 240K ./src/Data/Maybe/Properties.agdai | |
| 60K ./src/Data/Maybe/Categorical.agdai | |
| 220K ./src/Data/Bin/Properties.agdai | |
| 32K ./src/Data/Maybe.agdai | |
| 20K ./src/Data/Plus.agdai | |
| 20K ./src/Data/Word.agdai | |
| 40K ./src/Data/Table.agdai | |
| 52K ./src/Data/DifferenceVec.agdai | |
| 40K ./src/Data/BoundedVec/Inefficient.agdai | |
| 72K ./src/Data/Char/Base.agdai | |
| 136K ./src/Data/Char/Properties.agdai | |
| 84K ./src/Data/BoundedVec.agdai | |
| 32K ./src/Data/These.agdai | |
| 112K ./src/Data/Vec/Bounded/Base.agdai | |
| 24K ./src/Data/Vec/All.agdai | |
| 80K ./src/Data/Vec/Recursive/Properties.agdai | |
| 60K ./src/Data/Vec/Recursive/Categorical.agdai | |
| 156K ./src/Data/Vec/N-ary.agdai | |
| 176K ./src/Data/Vec/Base.agdai | |
| 20K ./src/Data/Vec/Any.agdai | |
| 112K ./src/Data/Vec/Recursive.agdai | |
| 24K ./src/Data/Vec/All/Properties.agdai | |
| 88K ./src/Data/Vec/Bounded.agdai | |
| 24K ./src/Data/Vec/Relation/Equality/Propositional.agdai | |
| 60K ./src/Data/Vec/Relation/Equality/DecSetoid.agdai | |
| 76K ./src/Data/Vec/Relation/Equality/Setoid.agdai | |
| 88K ./src/Data/Vec/Relation/Equality/DecPropositional.agdai | |
| 100K ./src/Data/Vec/Relation/Binary/Equality/Propositional.agdai | |
| 92K ./src/Data/Vec/Relation/Binary/Equality/DecSetoid.agdai | |
| 52K ./src/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agdai | |
| 108K ./src/Data/Vec/Relation/Binary/Equality/Setoid.agdai | |
| 72K ./src/Data/Vec/Relation/Binary/Equality/DecPropositional.agdai | |
| 180K ./src/Data/Vec/Relation/Binary/Pointwise/Extensional.agdai | |
| 224K ./src/Data/Vec/Relation/Binary/Pointwise/Inductive.agdai | |
| 112K ./src/Data/Vec/Relation/Unary/All.agdai | |
| 96K ./src/Data/Vec/Relation/Unary/Any.agdai | |
| 132K ./src/Data/Vec/Relation/Unary/All/Properties.agdai | |
| 428K ./src/Data/Vec/Relation/Unary/Any/Properties.agdai | |
| 24K ./src/Data/Vec/Relation/Pointwise/Extensional.agdai | |
| 24K ./src/Data/Vec/Relation/Pointwise/Inductive.agdai | |
| 504K ./src/Data/Vec/Properties.agdai | |
| 80K ./src/Data/Vec/Categorical.agdai | |
| 120K ./src/Data/Vec/Properties/WithK.agdai | |
| 44K ./src/Data/Vec/Membership/Propositional.agdai | |
| 72K ./src/Data/Vec/Membership/DecSetoid.agdai | |
| 116K ./src/Data/Vec/Membership/Propositional/Properties.agdai | |
| 96K ./src/Data/Vec/Membership/Setoid.agdai | |
| 68K ./src/Data/Vec/Membership/DecPropositional.agdai | |
| 16K ./src/Data/Empty/Irrelevant.agdai | |
| 20K ./src/Data/Star.agdai | |
| 24K ./src/Data/Unit/NonEta.agdai | |
| 16K ./src/Data/Unit/Base.agdai | |
| 72K ./src/Data/Unit/Properties.agdai | |
| 40K ./src/Data/Rational.agdai | |
| 60K ./src/Data/Integer.agdai | |
| 76K ./src/Data/Table/Base.agdai | |
| 72K ./src/Data/Table/Relation/Binary/Equality.agdai | |
| 20K ./src/Data/Table/Relation/Equality.agdai | |
| 128K ./src/Data/Table/Properties.agdai | |
| 44K ./src/Data/Universe/Indexed.agdai | |
| 32K ./src/Data/Universe.agdai | |
| 92K ./src/IO.agdai | |
| 60K ./src/Algebra/Solver/CommutativeMonoid/Example.agdai | |
| 200K ./src/Algebra/Solver/IdempotentCommutativeMonoid.agdai | |
| 196K ./src/Algebra/Solver/CommutativeMonoid.agdai | |
| 224K ./src/Algebra/Solver/Monoid.agdai | |
| 60K ./src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agdai | |
| 168K ./src/Algebra/Solver/Ring/NaturalCoefficients.agdai | |
| 160K ./src/Algebra/Solver/Ring/Lemmas.agdai | |
| 336K ./src/Algebra/Solver/Ring/AlmostCommutativeRing.agdai | |
| 108K ./src/Algebra/Solver/Ring/Simple.agdai | |
| 152K ./src/Algebra/Solver/Ring/NaturalCoefficients/Default.agdai | |
| 432K ./src/Algebra/Solver/Ring.agdai | |
| 268K ./src/Algebra/Construct/LiftedChoice.agdai | |
| 280K ./src/Algebra/Construct/NaturalChoice/Min.agdai | |
| 72K ./src/Algebra/Construct/NaturalChoice/Max.agdai | |
| 92K ./src/Algebra/FunctionProperties.agdai | |
| 136K ./src/Algebra/FunctionProperties/Consequences.agdai | |
| 16K ./src/Algebra/FunctionProperties/Core.agdai | |
| 96K ./src/Algebra/FunctionProperties/Consequences/Propositional.agdai | |
| 60K ./src/Algebra/FunctionProperties/Consequences/Core.agdai | |
| 420K ./src/Algebra/Structures.agdai | |
| 236K ./src/Algebra/Morphism.agdai | |
| 192K ./src/Algebra/Properties/DistributiveLattice.agdai | |
| 284K ./src/Algebra/Properties/CommutativeMonoid.agdai | |
| 200K ./src/Algebra/Properties/Semilattice.agdai | |
| 116K ./src/Algebra/Properties/Ring.agdai | |
| 272K ./src/Algebra/Properties/Lattice.agdai | |
| 104K ./src/Algebra/Properties/AbelianGroup.agdai | |
| 392K ./src/Algebra/Properties/BooleanAlgebra.agdai | |
| 136K ./src/Algebra/Properties/Group.agdai | |
| 232K ./src/Algebra/Properties/BooleanAlgebra/Expression.agdai | |
| 176K ./src/Algebra/Operations/CommutativeMonoid.agdai | |
| 160K ./src/Algebra/Operations/Semiring.agdai | |
| 24K ./src/Function/Reasoning.agdai | |
| 148K ./src/Function/Inverse.agdai | |
| 160K ./src/Function/Related/TypeIsomorphisms/Solver.agdai | |
| 336K ./src/Function/Related/TypeIsomorphisms.agdai | |
| 68K ./src/Function/Nary/NonDependent/Base.agdai | |
| 84K ./src/Function/Nary/NonDependent.agdai | |
| 108K ./src/Function/Surjection.agdai | |
| 76K ./src/Function/HalfAdjointEquivalence.agdai | |
| 96K ./src/Function/Equivalence.agdai | |
| 84K ./src/Function/Injection.agdai | |
| 108K ./src/Function/LeftInverse.agdai | |
| 232K ./src/Function/Endomorphism/Propositional.agdai | |
| 240K ./src/Function/Endomorphism/Setoid.agdai | |
| 108K ./src/Function/Bijection.agdai | |
| 184K ./src/Function/Related.agdai | |
| 32K ./src/Function/Identity/Categorical.agdai | |
| 92K ./src/Function/Equality.agdai | |
| 44K ./src/Codata/Thunk.agdai | |
| 100K ./src/Codata/Delay/Bisimilarity.agdai | |
| 72K ./src/Codata/Delay/Properties.agdai | |
| 48K ./src/Codata/Delay/Categorical.agdai | |
| 48K ./src/Codata/M.agdai | |
| 56K ./src/Codata/Musical/M.agdai | |
| 440K ./src/Codata/Musical/Colist.agdai | |
| 16K ./src/Codata/Musical/Notation.agdai | |
| 100K ./src/Codata/Musical/Conat.agdai | |
| 52K ./src/Codata/Musical/M/Indexed.agdai | |
| 272K ./src/Codata/Musical/Colist/Infinite-merge.agdai | |
| 184K ./src/Codata/Musical/Covec.agdai | |
| 168K ./src/Codata/Musical/Stream.agdai | |
| 40K ./src/Codata/Musical/Costring.agdai | |
| 56K ./src/Codata/Musical/Cofin.agdai | |
| 24K ./src/Codata/Conat/Literals.agdai | |
| 80K ./src/Codata/Conat/Bisimilarity.agdai | |
| 80K ./src/Codata/Conat/Properties.agdai | |
| 152K ./src/Codata/Colist.agdai | |
| 132K ./src/Codata/Cowriter.agdai | |
| 56K ./src/Codata/Conat.agdai | |
| 92K ./src/Codata/M/Bisimilarity.agdai | |
| 88K ./src/Codata/M/Properties.agdai | |
| 100K ./src/Codata/Colist/Bisimilarity.agdai | |
| 52K ./src/Codata/Colist/Properties.agdai | |
| 32K ./src/Codata/Colist/Categorical.agdai | |
| 92K ./src/Codata/Covec.agdai | |
| 108K ./src/Codata/Stream.agdai | |
| 136K ./src/Codata/Stream/Bisimilarity.agdai | |
| 148K ./src/Codata/Stream/Properties.agdai | |
| 36K ./src/Codata/Stream/Categorical.agdai | |
| 104K ./src/Codata/Delay.agdai | |
| 36K ./src/Codata/Cofin/Literals.agdai | |
| 60K ./src/Codata/Cofin.agdai | |
| 108K ./src/Codata/Covec/Bisimilarity.agdai | |
| 52K ./src/Codata/Covec/Properties.agdai | |
| 28K ./src/Codata/Covec/Categorical.agdai | |
| 44K ./src/IO/Primitive.agdai | |
| 100K ./src/Relation/Nary.agdai | |
| 292K ./src/Relation/Binary.agdai | |
| 88K ./src/Relation/Unary.agdai | |
| 60K ./src/Relation/Binary/PropositionalEquality/WithK.agdai | |
| 52K ./src/Relation/Binary/PropositionalEquality/Core.agdai | |
| 28K ./src/Relation/Binary/PropositionalEquality/TrustMe.agdai | |
| 64K ./src/Relation/Binary/PreorderReasoning.agdai | |
| 128K ./src/Relation/Binary/Consequences.agdai | |
| 108K ./src/Relation/Binary/Core.agdai | |
| 20K ./src/Relation/Binary/EquivalenceClosure.agdai | |
| 132K ./src/Relation/Binary/Construct/Converse.agdai | |
| 140K ./src/Relation/Binary/Construct/Flip.agdai | |
| 144K ./src/Relation/Binary/Construct/Intersection.agdai | |
| 92K ./src/Relation/Binary/Construct/Add/Point/Equality.agdai | |
| 168K ./src/Relation/Binary/Construct/Add/Supremum/Strict.agdai | |
| 132K ./src/Relation/Binary/Construct/Add/Supremum/NonStrict.agdai | |
| 60K ./src/Relation/Binary/Construct/Add/Supremum/Equality.agdai | |
| 168K ./src/Relation/Binary/Construct/Add/Infimum/Strict.agdai | |
| 132K ./src/Relation/Binary/Construct/Add/Infimum/NonStrict.agdai | |
| 60K ./src/Relation/Binary/Construct/Add/Infimum/Equality.agdai | |
| 120K ./src/Relation/Binary/Construct/Add/Extrema/Strict.agdai | |
| 108K ./src/Relation/Binary/Construct/Add/Extrema/NonStrict.agdai | |
| 76K ./src/Relation/Binary/Construct/Add/Extrema/Equality.agdai | |
| 120K ./src/Relation/Binary/Construct/NonStrictToStrict.agdai | |
| 196K ./src/Relation/Binary/Construct/NaturalOrder/Right.agdai | |
| 236K ./src/Relation/Binary/Construct/NaturalOrder/Left.agdai | |
| 76K ./src/Relation/Binary/Construct/Closure/Equivalence.agdai | |
| 148K ./src/Relation/Binary/Construct/Closure/Reflexive/Properties.agdai | |
| 84K ./src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agdai | |
| 144K ./src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agdai | |
| 76K ./src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agdai | |
| 84K ./src/Relation/Binary/Construct/Closure/Reflexive.agdai | |
| 72K ./src/Relation/Binary/Construct/Closure/Symmetric.agdai | |
| 44K ./src/Relation/Binary/Construct/Closure/Equivalence/Properties.agdai | |
| 104K ./src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agdai | |
| 88K ./src/Relation/Binary/Construct/Closure/Transitive.agdai | |
| 72K ./src/Relation/Binary/Construct/Closure/Transitive/WithK.agdai | |
| 140K ./src/Relation/Binary/Construct/On.agdai | |
| 64K ./src/Relation/Binary/Construct/Constant.agdai | |
| 104K ./src/Relation/Binary/Construct/Union.agdai | |
| 80K ./src/Relation/Binary/Construct/FromPred.agdai | |
| 60K ./src/Relation/Binary/Construct/Never.agdai | |
| 68K ./src/Relation/Binary/Construct/Always.agdai | |
| 136K ./src/Relation/Binary/Construct/StrictToNonStrict.agdai | |
| 76K ./src/Relation/Binary/Construct/FromRel.agdai | |
| 72K ./src/Relation/Binary/StrictPartialOrderReasoning.agdai | |
| 120K ./src/Relation/Binary/Reflection.agdai | |
| 24K ./src/Relation/Binary/SetoidReasoning.agdai | |
| 80K ./src/Relation/Binary/Reasoning/StrictPartialOrder.agdai | |
| 112K ./src/Relation/Binary/Reasoning/Base/Double.agdai | |
| 140K ./src/Relation/Binary/Reasoning/Base/Triple.agdai | |
| 72K ./src/Relation/Binary/Reasoning/Base/Single.agdai | |
| 56K ./src/Relation/Binary/Reasoning/Setoid.agdai | |
| 76K ./src/Relation/Binary/Reasoning/PartialOrder.agdai | |
| 84K ./src/Relation/Binary/Reasoning/MultiSetoid.agdai | |
| 64K ./src/Relation/Binary/Reasoning/Preorder.agdai | |
| 24K ./src/Relation/Binary/SymmetricClosure.agdai | |
| 152K ./src/Relation/Binary/Rewriting.agdai | |
| 228K ./src/Relation/Binary/Indexed/Homogeneous.agdai | |
| 100K ./src/Relation/Binary/Indexed/Homogeneous/Core.agdai | |
| 112K ./src/Relation/Binary/Indexed/Heterogeneous.agdai | |
| 36K ./src/Relation/Binary/Indexed/Heterogeneous/Core.agdai | |
| 72K ./src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agdai | |
| 64K ./src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agdai | |
| 72K ./src/Relation/Binary/PartialOrderReasoning.agdai | |
| 180K ./src/Relation/Binary/HeterogeneousEquality.agdai | |
| 64K ./src/Relation/Binary/EqReasoning.agdai | |
| 84K ./src/Relation/Binary/OrderMorphism.agdai | |
| 444K ./src/Relation/Binary/Lattice.agdai | |
| 208K ./src/Relation/Binary/HeterogeneousEquality/Quotients.agdai | |
| 220K ./src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agdai | |
| 24K ./src/Relation/Binary/HeterogeneousEquality/Core.agdai | |
| 156K ./src/Relation/Binary/PropositionalEquality.agdai | |
| 132K ./src/Relation/Binary/Properties/DistributiveLattice.agdai | |
| 120K ./src/Relation/Binary/Properties/BoundedJoinSemilattice.agdai | |
| 116K ./src/Relation/Binary/Properties/BoundedMeetSemilattice.agdai | |
| 64K ./src/Relation/Binary/Properties/TotalOrder.agdai | |
| 120K ./src/Relation/Binary/Properties/MeetSemilattice.agdai | |
| 68K ./src/Relation/Binary/Properties/StrictPartialOrder.agdai | |
| 60K ./src/Relation/Binary/Properties/Poset.agdai | |
| 76K ./src/Relation/Binary/Properties/StrictTotalOrder.agdai | |
| 68K ./src/Relation/Binary/Properties/DecTotalOrder.agdai | |
| 116K ./src/Relation/Binary/Properties/BoundedLattice.agdai | |
| 224K ./src/Relation/Binary/Properties/HeytingAlgebra.agdai | |
| 248K ./src/Relation/Binary/Properties/Lattice.agdai | |
| 232K ./src/Relation/Binary/Properties/JoinSemilattice.agdai | |
| 64K ./src/Relation/Binary/Properties/Preorder.agdai | |
| 28K ./src/Relation/Unary/Consequences.agdai | |
| 88K ./src/Relation/Unary/PredicateTransformer.agdai | |
| 32K ./src/Relation/Unary/Indexed.agdai | |
| 84K ./src/Relation/Unary/Closure/Base.agdai | |
| 72K ./src/Relation/Unary/Closure/StrictPartialOrder.agdai | |
| 76K ./src/Relation/Unary/Closure/Preorder.agdai | |
| 68K ./src/Relation/Unary/Properties.agdai | |
| 28K ./src/Relation/Nullary/Implication.agdai | |
| 28K ./src/Relation/Nullary/Sum.agdai | |
| 28K ./src/Relation/Nullary/Product.agdai | |
| 28K ./src/Relation/Nullary/Construct/Add/Extrema.agdai | |
| 16K ./src/Relation/Nullary/Construct/Add/Supremum.agdai | |
| 16K ./src/Relation/Nullary/Construct/Add/Infimum.agdai | |
| 20K ./src/Relation/Nullary/Construct/Add/Point.agdai | |
| 72K ./src/Relation/Nullary/Decidable.agdai | |
| 48K ./src/Relation/Nullary/Decidable/Core.agdai | |
| 84K ./src/Relation/Nullary/Negation.agdai | |
| 172K ./src/Relation/Nullary/Universe.agdai | |
| 24K ./src/Relation/Nullary.agdai | |
| 20K ./src/Axiom/UniquenessOfIdentityProofs/WithK.agdai | |
| 20K ./src/Axiom/ExcludedMiddle.agdai | |
| 44K ./src/Axiom/Extensionality/Propositional.agdai | |
| 36K ./src/Axiom/Extensionality/Heterogeneous.agdai | |
| 44K ./src/Axiom/UniquenessOfIdentityProofs.agdai | |
| 24K ./src/Axiom/DoubleNegationElimination.agdai | |
| 36K ./src/Category/Applicative.agdai | |
| 48K ./src/Category/Monad.agdai | |
| 132K ./src/Category/Monad/State.agdai | |
| 76K ./src/Category/Monad/Continuation.agdai | |
| 108K ./src/Category/Monad/Reader.agdai | |
| 76K ./src/Category/Monad/Indexed.agdai | |
| 160K ./src/Category/Monad/Partiality/All.agdai | |
| 520K ./src/Category/Monad/Partiality.agdai | |
| 96K ./src/Category/Monad/Predicate.agdai | |
| 36K ./src/Category/Comonad.agdai | |
| 40K ./src/Category/Functor/Predicate.agdai | |
| 120K ./src/Category/Applicative/Indexed.agdai | |
| 56K ./src/Category/Applicative/Predicate.agdai | |
| 48K ./src/Category/Functor.agdai | |
| 40K ./src/Induction.agdai | |
| 24K ./src/Universe.agdai | |
| 1,5M ./Everything.agdai | |
| 65M total | |
| With covering clauses | |
| ----------------------------------- | |
| 516K ./src/Algebra.agdai | |
| 28K ./src/Debug/Trace.agdai | |
| 72K ./src/Record.agdai | |
| 52K ./src/Function.agdai | |
| 20K ./src/Strict.agdai | |
| 68K ./src/Induction/Lexicographic.agdai | |
| 24K ./src/Induction/Nat.agdai | |
| 140K ./src/Induction/WellFounded.agdai | |
| 92K ./src/Text/Printf.agdai | |
| 104K ./src/Text/Format.agdai | |
| 32K ./src/Foreign/Haskell/Maybe.agdai | |
| 36K ./src/Foreign/Haskell/Pair.agdai | |
| 28K ./src/Foreign/Haskell.agdai | |
| 16K ./src/Size.agdai | |
| 432K ./src/Reflection.agdai | |
| 20K ./src/Level.agdai | |
| 28K ./src/Level/Literals.agdai | |
| 28K ./src/Data/DifferenceNat.agdai | |
| 192K ./src/Data/Record.agdai | |
| 56K ./src/Data/Nat/Show.agdai | |
| 28K ./src/Data/Nat/WithK.agdai | |
| 24K ./src/Data/Nat/Literals.agdai | |
| 276K ./src/Data/Nat/LCM.agdai | |
| 68K ./src/Data/Nat/Primality.agdai | |
| 228K ./src/Data/Nat/Coprimality.agdai | |
| 120K ./src/Data/Nat/Solver.agdai | |
| 124K ./src/Data/Nat/Divisibility/Core.agdai | |
| 112K ./src/Data/Nat/DivMod/WithK.agdai | |
| 260K ./src/Data/Nat/DivMod/Core.agdai | |
| 96K ./src/Data/Nat/Base.agdai | |
| 212K ./src/Data/Nat/DivMod.agdai | |
| 192K ./src/Data/Nat/GCD/Lemmas.agdai | |
| 152K ./src/Data/Nat/InfinitelyOften.agdai | |
| 296K ./src/Data/Nat/GCD.agdai | |
| 372K ./src/Data/Nat/Divisibility.agdai | |
| 872K ./src/Data/Nat/Properties.agdai | |
| 120K ./src/Data/Nat/GeneralisedArithmetic.agdai | |
| 120K ./src/Data/Nat/Induction.agdai | |
| 24K ./src/Data/List.agdai | |
| 28K ./src/Data/Integer/Literals.agdai | |
| 120K ./src/Data/Integer/Coprimality.agdai | |
| 104K ./src/Data/Integer/Solver.agdai | |
| 248K ./src/Data/Integer/Divisibility/Signed.agdai | |
| 108K ./src/Data/Integer/Base.agdai | |
| 232K ./src/Data/Integer/DivMod.agdai | |
| 180K ./src/Data/Integer/Divisibility.agdai | |
| 1,1M ./src/Data/Integer/Properties.agdai | |
| 36K ./src/Data/Fin/Literals.agdai | |
| 156K ./src/Data/Fin/Subset.agdai | |
| 40K ./src/Data/Fin/Dec.agdai | |
| 156K ./src/Data/Fin/Base.agdai | |
| 132K ./src/Data/Fin/Substitution.agdai | |
| 136K ./src/Data/Fin/Substitution/List.agdai | |
| 676K ./src/Data/Fin/Substitution/Lemmas.agdai | |
| 164K ./src/Data/Fin/Substitution/Example.agdai | |
| 416K ./src/Data/Fin/Properties.agdai | |
| 56K ./src/Data/Fin/Induction.agdai | |
| 120K ./src/Data/Fin/Permutation.agdai | |
| 552K ./src/Data/Fin/Subset/Properties.agdai | |
| 128K ./src/Data/Fin/Permutation/Components.agdai | |
| 24K ./src/Data/String/Literals.agdai | |
| 32K ./src/Data/String/Unsafe.agdai | |
| 92K ./src/Data/String/Base.agdai | |
| 120K ./src/Data/String/Properties.agdai | |
| 32K ./src/Data/W/WithK.agdai | |
| 52K ./src/Data/W/Indexed.agdai | |
| 32K ./src/Data/Sum.agdai | |
| 40K ./src/Data/Container.agdai | |
| 84K ./src/Data/Vec.agdai | |
| 216K ./src/Data/Digit.agdai | |
| 68K ./src/Data/Product.agdai | |
| 52K ./src/Data/DifferenceList.agdai | |
| 156K ./src/Data/AVL.agdai | |
| 196K ./src/Data/Trie/NonEmpty.agdai | |
| 64K ./src/Data/Nat.agdai | |
| 52K ./src/Data/Rational/Literals.agdai | |
| 148K ./src/Data/Rational/Base.agdai | |
| 288K ./src/Data/Rational/Properties.agdai | |
| 136K ./src/Data/Trie.agdai | |
| 24K ./src/Data/Float.agdai | |
| 124K ./src/Data/Star/Decoration.agdai | |
| 32K ./src/Data/Star/List.agdai | |
| 92K ./src/Data/Star/Vec.agdai | |
| 72K ./src/Data/Star/Nat.agdai | |
| 128K ./src/Data/Star/Pointer.agdai | |
| 28K ./src/Data/Star/Fin.agdai | |
| 56K ./src/Data/Star/Environment.agdai | |
| 24K ./src/Data/Star/Properties.agdai | |
| 92K ./src/Data/Star/BoundedVec.agdai | |
| 224K ./src/Data/Graph/Acyclic.agdai | |
| 72K ./src/Data/Bool.agdai | |
| 56K ./src/Data/W.agdai | |
| 160K ./src/Data/Bin.agdai | |
| 20K ./src/Data/Char.agdai | |
| 40K ./src/Data/Word/Unsafe.agdai | |
| 20K ./src/Data/Sign.agdai | |
| 44K ./src/Data/Sum/Base.agdai | |
| 44K ./src/Data/Sum/Categorical/Examples.agdai | |
| 60K ./src/Data/Sum/Categorical/Right.agdai | |
| 64K ./src/Data/Sum/Categorical/Left.agdai | |
| 76K ./src/Data/Sum/Function/Propositional.agdai | |
| 144K ./src/Data/Sum/Function/Setoid.agdai | |
| 24K ./src/Data/Sum/Relation/LeftOrder.agdai | |
| 24K ./src/Data/Sum/Relation/Pointwise.agdai | |
| 228K ./src/Data/Sum/Relation/Binary/LeftOrder.agdai | |
| 208K ./src/Data/Sum/Relation/Binary/Pointwise.agdai | |
| 84K ./src/Data/Sum/Properties.agdai | |
| 20K ./src/Data/Bool/Show.agdai | |
| 108K ./src/Data/Bool/Solver.agdai | |
| 24K ./src/Data/Bool/Base.agdai | |
| 356K ./src/Data/Bool/Properties.agdai | |
| 40K ./src/Data/AVL/Height.agdai | |
| 64K ./src/Data/AVL/Value.agdai | |
| 300K ./src/Data/AVL/Indexed.agdai | |
| 144K ./src/Data/AVL/NonEmpty.agdai | |
| 92K ./src/Data/AVL/Indexed/WithK.agdai | |
| 116K ./src/Data/AVL/IndexedMap.agdai | |
| 92K ./src/Data/AVL/Sets.agdai | |
| 84K ./src/Data/AVL/Key.agdai | |
| 76K ./src/Data/AVL/NonEmpty/Propositional.agdai | |
| 72K ./src/Data/List/Zipper.agdai | |
| 28K ./src/Data/List/Literals.agdai | |
| 64K ./src/Data/List/Reverse.agdai | |
| 24K ./src/Data/List/All.agdai | |
| 112K ./src/Data/List/Zipper/Properties.agdai | |
| 52K ./src/Data/List/Solver.agdai | |
| 188K ./src/Data/List/Base.agdai | |
| 248K ./src/Data/List/Extrema.agdai | |
| 136K ./src/Data/List/Extrema/Core.agdai | |
| 156K ./src/Data/List/Extrema/Nat.agdai | |
| 220K ./src/Data/List/NonEmpty.agdai | |
| 20K ./src/Data/List/Any.agdai | |
| 28K ./src/Data/List/All/Properties.agdai | |
| 20K ./src/Data/List/Relation/Sublist/Propositional.agdai | |
| 24K ./src/Data/List/Relation/Sublist/Propositional/Properties.agdai | |
| 24K ./src/Data/List/Relation/Lex/Strict.agdai | |
| 24K ./src/Data/List/Relation/Lex/NonStrict.agdai | |
| 20K ./src/Data/List/Relation/Equality/Propositional.agdai | |
| 72K ./src/Data/List/Relation/Equality/DecSetoid.agdai | |
| 68K ./src/Data/List/Relation/Equality/Setoid.agdai | |
| 80K ./src/Data/List/Relation/Equality/DecPropositional.agdai | |
| 24K ./src/Data/List/Relation/Pointwise.agdai | |
| 92K ./src/Data/List/Relation/Binary/Sublist/Propositional.agdai | |
| 84K ./src/Data/List/Relation/Binary/Sublist/DecSetoid.agdai | |
| 68K ./src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agdai | |
| 148K ./src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agdai | |
| 236K ./src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agdai | |
| 100K ./src/Data/List/Relation/Binary/Sublist/Setoid.agdai | |
| 108K ./src/Data/List/Relation/Binary/Sublist/Heterogeneous.agdai | |
| 60K ./src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agdai | |
| 68K ./src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agdai | |
| 204K ./src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agdai | |
| 500K ./src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agdai | |
| 84K ./src/Data/List/Relation/Binary/Sublist/DecPropositional.agdai | |
| 64K ./src/Data/List/Relation/Binary/Disjoint/Propositional.agdai | |
| 116K ./src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agdai | |
| 84K ./src/Data/List/Relation/Binary/Disjoint/Setoid.agdai | |
| 104K ./src/Data/List/Relation/Binary/Prefix/Heterogeneous.agdai | |
| 324K ./src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agdai | |
| 200K ./src/Data/List/Relation/Binary/Lex/Strict.agdai | |
| 172K ./src/Data/List/Relation/Binary/Lex/Core.agdai | |
| 152K ./src/Data/List/Relation/Binary/Lex/NonStrict.agdai | |
| 84K ./src/Data/List/Relation/Binary/Equality/Propositional.agdai | |
| 76K ./src/Data/List/Relation/Binary/Equality/DecSetoid.agdai | |
| 116K ./src/Data/List/Relation/Binary/Equality/Setoid.agdai | |
| 88K ./src/Data/List/Relation/Binary/Equality/DecPropositional.agdai | |
| 96K ./src/Data/List/Relation/Binary/Suffix/Heterogeneous.agdai | |
| 296K ./src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agdai | |
| 352K ./src/Data/List/Relation/Binary/Pointwise.agdai | |
| 532K ./src/Data/List/Relation/Binary/BagAndSetEquality.agdai | |
| 28K ./src/Data/List/Relation/Binary/Subset/Propositional.agdai | |
| 220K ./src/Data/List/Relation/Binary/Subset/Propositional/Properties.agdai | |
| 124K ./src/Data/List/Relation/Binary/Subset/Setoid/Properties.agdai | |
| 68K ./src/Data/List/Relation/Binary/Subset/Setoid.agdai | |
| 96K ./src/Data/List/Relation/Binary/Permutation/Propositional.agdai | |
| 88K ./src/Data/List/Relation/Binary/Permutation/Homogeneous.agdai | |
| 24K ./src/Data/List/Relation/Binary/Permutation/Inductive/Properties.agdai | |
| 432K ./src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agdai | |
| 368K ./src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agdai | |
| 20K ./src/Data/List/Relation/Binary/Permutation/Inductive.agdai | |
| 100K ./src/Data/List/Relation/Binary/Permutation/Setoid.agdai | |
| 96K ./src/Data/List/Relation/Ternary/Interleaving/Propositional.agdai | |
| 44K ./src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agdai | |
| 100K ./src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agdai | |
| 68K ./src/Data/List/Relation/Ternary/Interleaving/Setoid.agdai | |
| 224K ./src/Data/List/Relation/Ternary/Interleaving/Properties.agdai | |
| 152K ./src/Data/List/Relation/Ternary/Interleaving.agdai | |
| 28K ./src/Data/List/Relation/BagAndSetEquality.agdai | |
| 68K ./src/Data/List/Relation/Unary/AllPairs/Core.agdai | |
| 216K ./src/Data/List/Relation/Unary/AllPairs/Properties.agdai | |
| 160K ./src/Data/List/Relation/Unary/All.agdai | |
| 32K ./src/Data/List/Relation/Unary/Unique/Propositional.agdai | |
| 176K ./src/Data/List/Relation/Unary/Unique/Propositional/Properties.agdai | |
| 144K ./src/Data/List/Relation/Unary/Unique/Setoid/Properties.agdai | |
| 76K ./src/Data/List/Relation/Unary/Unique/Setoid.agdai | |
| 88K ./src/Data/List/Relation/Unary/Any.agdai | |
| 128K ./src/Data/List/Relation/Unary/AllPairs.agdai | |
| 112K ./src/Data/List/Relation/Unary/First.agdai | |
| 448K ./src/Data/List/Relation/Unary/All/Properties.agdai | |
| 584K ./src/Data/List/Relation/Unary/Any/Properties.agdai | |
| 140K ./src/Data/List/Relation/Unary/First/Properties.agdai | |
| 20K ./src/Data/List/Relation/Subset/Propositional.agdai | |
| 24K ./src/Data/List/Relation/Subset/Propositional/Properties.agdai | |
| 24K ./src/Data/List/Relation/Subset/Setoid/Properties.agdai | |
| 56K ./src/Data/List/Relation/Subset/Setoid.agdai | |
| 24K ./src/Data/List/Relation/Permutation/Inductive/Properties.agdai | |
| 20K ./src/Data/List/Relation/Permutation/Inductive.agdai | |
| 28K ./src/Data/List/Any/Properties.agdai | |
| 824K ./src/Data/List/Properties.agdai | |
| 172K ./src/Data/List/Categorical.agdai | |
| 88K ./src/Data/List/NonEmpty/Properties.agdai | |
| 76K ./src/Data/List/NonEmpty/Categorical.agdai | |
| 244K ./src/Data/List/Countdown.agdai | |
| 32K ./src/Data/List/Membership/Propositional.agdai | |
| 64K ./src/Data/List/Membership/DecSetoid.agdai | |
| 368K ./src/Data/List/Membership/Propositional/Properties.agdai | |
| 52K ./src/Data/List/Membership/Propositional/Properties/WithK.agdai | |
| 92K ./src/Data/List/Membership/Propositional/Properties/Core.agdai | |
| 348K ./src/Data/List/Membership/Setoid/Properties.agdai | |
| 92K ./src/Data/List/Membership/Setoid.agdai | |
| 68K ./src/Data/List/Membership/DecPropositional.agdai | |
| 20K ./src/Data/ReflexiveClosure.agdai | |
| 16K ./src/Data/Empty.agdai | |
| 72K ./src/Data/Container/Core.agdai | |
| 172K ./src/Data/Container/Indexed.agdai | |
| 120K ./src/Data/Container/Combinator/Properties.agdai | |
| 36K ./src/Data/Container/Membership.agdai | |
| 164K ./src/Data/Container/Indexed/WithK.agdai | |
| 56K ./src/Data/Container/Indexed/Core.agdai | |
| 212K ./src/Data/Container/Indexed/Combinator.agdai | |
| 84K ./src/Data/Container/Indexed/FreeMonad.agdai | |
| 20K ./src/Data/Container/Any.agdai | |
| 100K ./src/Data/Container/Morphism/Properties.agdai | |
| 72K ./src/Data/Container/Related.agdai | |
| 52K ./src/Data/Container/Combinator.agdai | |
| 68K ./src/Data/Container/Relation/Binary/Equality/Setoid.agdai | |
| 88K ./src/Data/Container/Relation/Binary/Pointwise.agdai | |
| 80K ./src/Data/Container/Relation/Binary/Pointwise/Properties.agdai | |
| 60K ./src/Data/Container/Relation/Unary/All.agdai | |
| 60K ./src/Data/Container/Relation/Unary/Any.agdai | |
| 364K ./src/Data/Container/Relation/Unary/Any/Properties.agdai | |
| 64K ./src/Data/Container/Properties.agdai | |
| 28K ./src/Data/Container/Morphism.agdai | |
| 64K ./src/Data/Container/FreeMonad.agdai | |
| 60K ./src/Data/These/Base.agdai | |
| 56K ./src/Data/These/Categorical/Right/Base.agdai | |
| 116K ./src/Data/These/Categorical/Right.agdai | |
| 56K ./src/Data/These/Categorical/Left/Base.agdai | |
| 116K ./src/Data/These/Categorical/Left.agdai | |
| 104K ./src/Data/These/Properties.agdai | |
| 64K ./src/Data/Unit.agdai | |
| 32K ./src/Data/String.agdai | |
| 60K ./src/Data/Sign/Base.agdai | |
| 220K ./src/Data/Sign/Properties.agdai | |
| 80K ./src/Data/Fin.agdai | |
| 196K ./src/Data/Product/Nary/NonDependent.agdai | |
| 20K ./src/Data/Product/N-ary.agdai | |
| 156K ./src/Data/Product/Categorical/Examples.agdai | |
| 32K ./src/Data/Product/Categorical/Right/Base.agdai | |
| 128K ./src/Data/Product/Categorical/Right.agdai | |
| 32K ./src/Data/Product/Categorical/Left/Base.agdai | |
| 128K ./src/Data/Product/Categorical/Left.agdai | |
| 112K ./src/Data/Product/Function/NonDependent/Propositional.agdai | |
| 136K ./src/Data/Product/Function/NonDependent/Setoid.agdai | |
| 232K ./src/Data/Product/Function/Dependent/Propositional.agdai | |
| 52K ./src/Data/Product/Function/Dependent/Propositional/WithK.agdai | |
| 108K ./src/Data/Product/Function/Dependent/Setoid/WithK.agdai | |
| 164K ./src/Data/Product/Function/Dependent/Setoid.agdai | |
| 24K ./src/Data/Product/Relation/Lex/Strict.agdai | |
| 24K ./src/Data/Product/Relation/Lex/NonStrict.agdai | |
| 224K ./src/Data/Product/Relation/Binary/Lex/Strict.agdai | |
| 164K ./src/Data/Product/Relation/Binary/Lex/NonStrict.agdai | |
| 204K ./src/Data/Product/Relation/Binary/Pointwise/NonDependent.agdai | |
| 92K ./src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agdai | |
| 112K ./src/Data/Product/Relation/Binary/Pointwise/Dependent.agdai | |
| 24K ./src/Data/Product/Relation/Pointwise/NonDependent.agdai | |
| 20K ./src/Data/Product/Relation/Pointwise/Dependent.agdai | |
| 80K ./src/Data/Product/Properties.agdai | |
| 20K ./src/Data/Product/N-ary/Properties.agdai | |
| 20K ./src/Data/Product/N-ary/Categorical.agdai | |
| 88K ./src/Data/Product/Properties/WithK.agdai | |
| 32K ./src/Data/Float/Unsafe.agdai | |
| 60K ./src/Data/Maybe/Base.agdai | |
| 112K ./src/Data/Maybe/Relation/Binary/Pointwise.agdai | |
| 108K ./src/Data/Maybe/Relation/Unary/All.agdai | |
| 72K ./src/Data/Maybe/Relation/Unary/Any.agdai | |
| 60K ./src/Data/Maybe/Relation/Unary/All/Properties.agdai | |
| 244K ./src/Data/Maybe/Properties.agdai | |
| 60K ./src/Data/Maybe/Categorical.agdai | |
| 224K ./src/Data/Bin/Properties.agdai | |
| 32K ./src/Data/Maybe.agdai | |
| 20K ./src/Data/Plus.agdai | |
| 20K ./src/Data/Word.agdai | |
| 40K ./src/Data/Table.agdai | |
| 52K ./src/Data/DifferenceVec.agdai | |
| 40K ./src/Data/BoundedVec/Inefficient.agdai | |
| 76K ./src/Data/Char/Base.agdai | |
| 136K ./src/Data/Char/Properties.agdai | |
| 84K ./src/Data/BoundedVec.agdai | |
| 32K ./src/Data/These.agdai | |
| 116K ./src/Data/Vec/Bounded/Base.agdai | |
| 24K ./src/Data/Vec/All.agdai | |
| 80K ./src/Data/Vec/Recursive/Properties.agdai | |
| 64K ./src/Data/Vec/Recursive/Categorical.agdai | |
| 164K ./src/Data/Vec/N-ary.agdai | |
| 184K ./src/Data/Vec/Base.agdai | |
| 20K ./src/Data/Vec/Any.agdai | |
| 120K ./src/Data/Vec/Recursive.agdai | |
| 24K ./src/Data/Vec/All/Properties.agdai | |
| 88K ./src/Data/Vec/Bounded.agdai | |
| 24K ./src/Data/Vec/Relation/Equality/Propositional.agdai | |
| 60K ./src/Data/Vec/Relation/Equality/DecSetoid.agdai | |
| 76K ./src/Data/Vec/Relation/Equality/Setoid.agdai | |
| 88K ./src/Data/Vec/Relation/Equality/DecPropositional.agdai | |
| 100K ./src/Data/Vec/Relation/Binary/Equality/Propositional.agdai | |
| 92K ./src/Data/Vec/Relation/Binary/Equality/DecSetoid.agdai | |
| 52K ./src/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agdai | |
| 112K ./src/Data/Vec/Relation/Binary/Equality/Setoid.agdai | |
| 72K ./src/Data/Vec/Relation/Binary/Equality/DecPropositional.agdai | |
| 188K ./src/Data/Vec/Relation/Binary/Pointwise/Extensional.agdai | |
| 236K ./src/Data/Vec/Relation/Binary/Pointwise/Inductive.agdai | |
| 116K ./src/Data/Vec/Relation/Unary/All.agdai | |
| 100K ./src/Data/Vec/Relation/Unary/Any.agdai | |
| 136K ./src/Data/Vec/Relation/Unary/All/Properties.agdai | |
| 452K ./src/Data/Vec/Relation/Unary/Any/Properties.agdai | |
| 24K ./src/Data/Vec/Relation/Pointwise/Extensional.agdai | |
| 24K ./src/Data/Vec/Relation/Pointwise/Inductive.agdai | |
| 528K ./src/Data/Vec/Properties.agdai | |
| 80K ./src/Data/Vec/Categorical.agdai | |
| 120K ./src/Data/Vec/Properties/WithK.agdai | |
| 44K ./src/Data/Vec/Membership/Propositional.agdai | |
| 72K ./src/Data/Vec/Membership/DecSetoid.agdai | |
| 120K ./src/Data/Vec/Membership/Propositional/Properties.agdai | |
| 96K ./src/Data/Vec/Membership/Setoid.agdai | |
| 68K ./src/Data/Vec/Membership/DecPropositional.agdai | |
| 16K ./src/Data/Empty/Irrelevant.agdai | |
| 20K ./src/Data/Star.agdai | |
| 24K ./src/Data/Unit/NonEta.agdai | |
| 16K ./src/Data/Unit/Base.agdai | |
| 72K ./src/Data/Unit/Properties.agdai | |
| 40K ./src/Data/Rational.agdai | |
| 60K ./src/Data/Integer.agdai | |
| 76K ./src/Data/Table/Base.agdai | |
| 72K ./src/Data/Table/Relation/Binary/Equality.agdai | |
| 20K ./src/Data/Table/Relation/Equality.agdai | |
| 132K ./src/Data/Table/Properties.agdai | |
| 44K ./src/Data/Universe/Indexed.agdai | |
| 32K ./src/Data/Universe.agdai | |
| 92K ./src/IO.agdai | |
| 60K ./src/Algebra/Solver/CommutativeMonoid/Example.agdai | |
| 200K ./src/Algebra/Solver/IdempotentCommutativeMonoid.agdai | |
| 200K ./src/Algebra/Solver/CommutativeMonoid.agdai | |
| 224K ./src/Algebra/Solver/Monoid.agdai | |
| 60K ./src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agdai | |
| 168K ./src/Algebra/Solver/Ring/NaturalCoefficients.agdai | |
| 160K ./src/Algebra/Solver/Ring/Lemmas.agdai | |
| 336K ./src/Algebra/Solver/Ring/AlmostCommutativeRing.agdai | |
| 108K ./src/Algebra/Solver/Ring/Simple.agdai | |
| 152K ./src/Algebra/Solver/Ring/NaturalCoefficients/Default.agdai | |
| 448K ./src/Algebra/Solver/Ring.agdai | |
| 272K ./src/Algebra/Construct/LiftedChoice.agdai | |
| 296K ./src/Algebra/Construct/NaturalChoice/Min.agdai | |
| 72K ./src/Algebra/Construct/NaturalChoice/Max.agdai | |
| 92K ./src/Algebra/FunctionProperties.agdai | |
| 140K ./src/Algebra/FunctionProperties/Consequences.agdai | |
| 16K ./src/Algebra/FunctionProperties/Core.agdai | |
| 100K ./src/Algebra/FunctionProperties/Consequences/Propositional.agdai | |
| 60K ./src/Algebra/FunctionProperties/Consequences/Core.agdai | |
| 424K ./src/Algebra/Structures.agdai | |
| 236K ./src/Algebra/Morphism.agdai | |
| 192K ./src/Algebra/Properties/DistributiveLattice.agdai | |
| 288K ./src/Algebra/Properties/CommutativeMonoid.agdai | |
| 200K ./src/Algebra/Properties/Semilattice.agdai | |
| 116K ./src/Algebra/Properties/Ring.agdai | |
| 276K ./src/Algebra/Properties/Lattice.agdai | |
| 104K ./src/Algebra/Properties/AbelianGroup.agdai | |
| 396K ./src/Algebra/Properties/BooleanAlgebra.agdai | |
| 136K ./src/Algebra/Properties/Group.agdai | |
| 232K ./src/Algebra/Properties/BooleanAlgebra/Expression.agdai | |
| 180K ./src/Algebra/Operations/CommutativeMonoid.agdai | |
| 160K ./src/Algebra/Operations/Semiring.agdai | |
| 24K ./src/Function/Reasoning.agdai | |
| 148K ./src/Function/Inverse.agdai | |
| 160K ./src/Function/Related/TypeIsomorphisms/Solver.agdai | |
| 344K ./src/Function/Related/TypeIsomorphisms.agdai | |
| 72K ./src/Function/Nary/NonDependent/Base.agdai | |
| 84K ./src/Function/Nary/NonDependent.agdai | |
| 108K ./src/Function/Surjection.agdai | |
| 76K ./src/Function/HalfAdjointEquivalence.agdai | |
| 96K ./src/Function/Equivalence.agdai | |
| 88K ./src/Function/Injection.agdai | |
| 108K ./src/Function/LeftInverse.agdai | |
| 232K ./src/Function/Endomorphism/Propositional.agdai | |
| 240K ./src/Function/Endomorphism/Setoid.agdai | |
| 108K ./src/Function/Bijection.agdai | |
| 196K ./src/Function/Related.agdai | |
| 32K ./src/Function/Identity/Categorical.agdai | |
| 92K ./src/Function/Equality.agdai | |
| 44K ./src/Codata/Thunk.agdai | |
| 100K ./src/Codata/Delay/Bisimilarity.agdai | |
| 76K ./src/Codata/Delay/Properties.agdai | |
| 48K ./src/Codata/Delay/Categorical.agdai | |
| 48K ./src/Codata/M.agdai | |
| 56K ./src/Codata/Musical/M.agdai | |
| 456K ./src/Codata/Musical/Colist.agdai | |
| 16K ./src/Codata/Musical/Notation.agdai | |
| 100K ./src/Codata/Musical/Conat.agdai | |
| 52K ./src/Codata/Musical/M/Indexed.agdai | |
| 280K ./src/Codata/Musical/Colist/Infinite-merge.agdai | |
| 188K ./src/Codata/Musical/Covec.agdai | |
| 172K ./src/Codata/Musical/Stream.agdai | |
| 40K ./src/Codata/Musical/Costring.agdai | |
| 56K ./src/Codata/Musical/Cofin.agdai | |
| 24K ./src/Codata/Conat/Literals.agdai | |
| 80K ./src/Codata/Conat/Bisimilarity.agdai | |
| 80K ./src/Codata/Conat/Properties.agdai | |
| 160K ./src/Codata/Colist.agdai | |
| 136K ./src/Codata/Cowriter.agdai | |
| 56K ./src/Codata/Conat.agdai | |
| 96K ./src/Codata/M/Bisimilarity.agdai | |
| 92K ./src/Codata/M/Properties.agdai | |
| 104K ./src/Codata/Colist/Bisimilarity.agdai | |
| 52K ./src/Codata/Colist/Properties.agdai | |
| 32K ./src/Codata/Colist/Categorical.agdai | |
| 96K ./src/Codata/Covec.agdai | |
| 112K ./src/Codata/Stream.agdai | |
| 140K ./src/Codata/Stream/Bisimilarity.agdai | |
| 148K ./src/Codata/Stream/Properties.agdai | |
| 36K ./src/Codata/Stream/Categorical.agdai | |
| 108K ./src/Codata/Delay.agdai | |
| 36K ./src/Codata/Cofin/Literals.agdai | |
| 60K ./src/Codata/Cofin.agdai | |
| 112K ./src/Codata/Covec/Bisimilarity.agdai | |
| 52K ./src/Codata/Covec/Properties.agdai | |
| 28K ./src/Codata/Covec/Categorical.agdai | |
| 44K ./src/IO/Primitive.agdai | |
| 104K ./src/Relation/Nary.agdai | |
| 296K ./src/Relation/Binary.agdai | |
| 92K ./src/Relation/Unary.agdai | |
| 60K ./src/Relation/Binary/PropositionalEquality/WithK.agdai | |
| 56K ./src/Relation/Binary/PropositionalEquality/Core.agdai | |
| 28K ./src/Relation/Binary/PropositionalEquality/TrustMe.agdai | |
| 64K ./src/Relation/Binary/PreorderReasoning.agdai | |
| 140K ./src/Relation/Binary/Consequences.agdai | |
| 112K ./src/Relation/Binary/Core.agdai | |
| 20K ./src/Relation/Binary/EquivalenceClosure.agdai | |
| 136K ./src/Relation/Binary/Construct/Converse.agdai | |
| 148K ./src/Relation/Binary/Construct/Flip.agdai | |
| 152K ./src/Relation/Binary/Construct/Intersection.agdai | |
| 96K ./src/Relation/Binary/Construct/Add/Point/Equality.agdai | |
| 176K ./src/Relation/Binary/Construct/Add/Supremum/Strict.agdai | |
| 136K ./src/Relation/Binary/Construct/Add/Supremum/NonStrict.agdai | |
| 60K ./src/Relation/Binary/Construct/Add/Supremum/Equality.agdai | |
| 172K ./src/Relation/Binary/Construct/Add/Infimum/Strict.agdai | |
| 136K ./src/Relation/Binary/Construct/Add/Infimum/NonStrict.agdai | |
| 60K ./src/Relation/Binary/Construct/Add/Infimum/Equality.agdai | |
| 128K ./src/Relation/Binary/Construct/Add/Extrema/Strict.agdai | |
| 116K ./src/Relation/Binary/Construct/Add/Extrema/NonStrict.agdai | |
| 80K ./src/Relation/Binary/Construct/Add/Extrema/Equality.agdai | |
| 124K ./src/Relation/Binary/Construct/NonStrictToStrict.agdai | |
| 200K ./src/Relation/Binary/Construct/NaturalOrder/Right.agdai | |
| 236K ./src/Relation/Binary/Construct/NaturalOrder/Left.agdai | |
| 80K ./src/Relation/Binary/Construct/Closure/Equivalence.agdai | |
| 156K ./src/Relation/Binary/Construct/Closure/Reflexive/Properties.agdai | |
| 84K ./src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agdai | |
| 144K ./src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agdai | |
| 76K ./src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agdai | |
| 84K ./src/Relation/Binary/Construct/Closure/Reflexive.agdai | |
| 72K ./src/Relation/Binary/Construct/Closure/Symmetric.agdai | |
| 44K ./src/Relation/Binary/Construct/Closure/Equivalence/Properties.agdai | |
| 108K ./src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agdai | |
| 92K ./src/Relation/Binary/Construct/Closure/Transitive.agdai | |
| 72K ./src/Relation/Binary/Construct/Closure/Transitive/WithK.agdai | |
| 148K ./src/Relation/Binary/Construct/On.agdai | |
| 64K ./src/Relation/Binary/Construct/Constant.agdai | |
| 108K ./src/Relation/Binary/Construct/Union.agdai | |
| 84K ./src/Relation/Binary/Construct/FromPred.agdai | |
| 60K ./src/Relation/Binary/Construct/Never.agdai | |
| 68K ./src/Relation/Binary/Construct/Always.agdai | |
| 144K ./src/Relation/Binary/Construct/StrictToNonStrict.agdai | |
| 76K ./src/Relation/Binary/Construct/FromRel.agdai | |
| 72K ./src/Relation/Binary/StrictPartialOrderReasoning.agdai | |
| 120K ./src/Relation/Binary/Reflection.agdai | |
| 24K ./src/Relation/Binary/SetoidReasoning.agdai | |
| 80K ./src/Relation/Binary/Reasoning/StrictPartialOrder.agdai | |
| 116K ./src/Relation/Binary/Reasoning/Base/Double.agdai | |
| 148K ./src/Relation/Binary/Reasoning/Base/Triple.agdai | |
| 72K ./src/Relation/Binary/Reasoning/Base/Single.agdai | |
| 56K ./src/Relation/Binary/Reasoning/Setoid.agdai | |
| 76K ./src/Relation/Binary/Reasoning/PartialOrder.agdai | |
| 84K ./src/Relation/Binary/Reasoning/MultiSetoid.agdai | |
| 64K ./src/Relation/Binary/Reasoning/Preorder.agdai | |
| 24K ./src/Relation/Binary/SymmetricClosure.agdai | |
| 160K ./src/Relation/Binary/Rewriting.agdai | |
| 232K ./src/Relation/Binary/Indexed/Homogeneous.agdai | |
| 100K ./src/Relation/Binary/Indexed/Homogeneous/Core.agdai | |
| 112K ./src/Relation/Binary/Indexed/Heterogeneous.agdai | |
| 36K ./src/Relation/Binary/Indexed/Heterogeneous/Core.agdai | |
| 72K ./src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agdai | |
| 64K ./src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agdai | |
| 72K ./src/Relation/Binary/PartialOrderReasoning.agdai | |
| 180K ./src/Relation/Binary/HeterogeneousEquality.agdai | |
| 64K ./src/Relation/Binary/EqReasoning.agdai | |
| 84K ./src/Relation/Binary/OrderMorphism.agdai | |
| 448K ./src/Relation/Binary/Lattice.agdai | |
| 216K ./src/Relation/Binary/HeterogeneousEquality/Quotients.agdai | |
| 224K ./src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agdai | |
| 24K ./src/Relation/Binary/HeterogeneousEquality/Core.agdai | |
| 156K ./src/Relation/Binary/PropositionalEquality.agdai | |
| 132K ./src/Relation/Binary/Properties/DistributiveLattice.agdai | |
| 120K ./src/Relation/Binary/Properties/BoundedJoinSemilattice.agdai | |
| 116K ./src/Relation/Binary/Properties/BoundedMeetSemilattice.agdai | |
| 64K ./src/Relation/Binary/Properties/TotalOrder.agdai | |
| 120K ./src/Relation/Binary/Properties/MeetSemilattice.agdai | |
| 68K ./src/Relation/Binary/Properties/StrictPartialOrder.agdai | |
| 60K ./src/Relation/Binary/Properties/Poset.agdai | |
| 76K ./src/Relation/Binary/Properties/StrictTotalOrder.agdai | |
| 68K ./src/Relation/Binary/Properties/DecTotalOrder.agdai | |
| 116K ./src/Relation/Binary/Properties/BoundedLattice.agdai | |
| 224K ./src/Relation/Binary/Properties/HeytingAlgebra.agdai | |
| 248K ./src/Relation/Binary/Properties/Lattice.agdai | |
| 232K ./src/Relation/Binary/Properties/JoinSemilattice.agdai | |
| 64K ./src/Relation/Binary/Properties/Preorder.agdai | |
| 32K ./src/Relation/Unary/Consequences.agdai | |
| 92K ./src/Relation/Unary/PredicateTransformer.agdai | |
| 32K ./src/Relation/Unary/Indexed.agdai | |
| 84K ./src/Relation/Unary/Closure/Base.agdai | |
| 76K ./src/Relation/Unary/Closure/StrictPartialOrder.agdai | |
| 76K ./src/Relation/Unary/Closure/Preorder.agdai | |
| 72K ./src/Relation/Unary/Properties.agdai | |
| 28K ./src/Relation/Nullary/Implication.agdai | |
| 28K ./src/Relation/Nullary/Sum.agdai | |
| 28K ./src/Relation/Nullary/Product.agdai | |
| 28K ./src/Relation/Nullary/Construct/Add/Extrema.agdai | |
| 16K ./src/Relation/Nullary/Construct/Add/Supremum.agdai | |
| 16K ./src/Relation/Nullary/Construct/Add/Infimum.agdai | |
| 20K ./src/Relation/Nullary/Construct/Add/Point.agdai | |
| 72K ./src/Relation/Nullary/Decidable.agdai | |
| 52K ./src/Relation/Nullary/Decidable/Core.agdai | |
| 88K ./src/Relation/Nullary/Negation.agdai | |
| 180K ./src/Relation/Nullary/Universe.agdai | |
| 24K ./src/Relation/Nullary.agdai | |
| 20K ./src/Axiom/UniquenessOfIdentityProofs/WithK.agdai | |
| 20K ./src/Axiom/ExcludedMiddle.agdai | |
| 48K ./src/Axiom/Extensionality/Propositional.agdai | |
| 40K ./src/Axiom/Extensionality/Heterogeneous.agdai | |
| 44K ./src/Axiom/UniquenessOfIdentityProofs.agdai | |
| 24K ./src/Axiom/DoubleNegationElimination.agdai | |
| 36K ./src/Category/Applicative.agdai | |
| 48K ./src/Category/Monad.agdai | |
| 136K ./src/Category/Monad/State.agdai | |
| 76K ./src/Category/Monad/Continuation.agdai | |
| 108K ./src/Category/Monad/Reader.agdai | |
| 76K ./src/Category/Monad/Indexed.agdai | |
| 168K ./src/Category/Monad/Partiality/All.agdai | |
| 552K ./src/Category/Monad/Partiality.agdai | |
| 100K ./src/Category/Monad/Predicate.agdai | |
| 36K ./src/Category/Comonad.agdai | |
| 40K ./src/Category/Functor/Predicate.agdai | |
| 120K ./src/Category/Applicative/Indexed.agdai | |
| 56K ./src/Category/Applicative/Predicate.agdai | |
| 48K ./src/Category/Functor.agdai | |
| 40K ./src/Induction.agdai | |
| 24K ./src/Universe.agdai | |
| 1,5M ./Everything.agdai | |
| 67M total |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment