Created
December 16, 2018 19:14
-
-
Save ryantm/9cdb0f79e29afbb3cc5bccdcd99e9fba 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
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Algebra/FunctionProperties | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Algebra/Operations | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Algebra/Properties/BooleanAlgebra | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Algebra/Properties | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Algebra/Solver/CommutativeMonoid | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Algebra/Solver/IdempotentCommutativeMonoid | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Algebra/Solver/Ring | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Algebra/Solver | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Algebra | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Category/Applicative | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Category/Functor | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Category/Monad/Partiality | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Category/Monad | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Category | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Codata/Cofin | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Codata/Colist | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Codata/Conat | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Codata/Covec | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Codata/Delay | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Codata/Musical/Colist | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Codata/Musical/M | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Codata/Musical | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Codata/Stream | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Codata | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/AVL | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Bin | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Bool | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/BoundedVec | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Char | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Container/Indexed | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Container | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Empty | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Fin/Permutation | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Fin/Subset | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Fin/Substitution | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Fin | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Float | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Graph | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Integer/Addition | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Integer/Multiplication | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Integer | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/All | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Any | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Membership/Propositional/Properties | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Membership/Propositional | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Membership/Setoid | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Membership | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/NonEmpty | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Relation/Equality | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Relation/Lex | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Relation/Permutation/Inductive | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Relation/Permutation | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Relation/Sublist/Propositional | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Relation/Sublist | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Relation/Subset/Propositional | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Relation/Subset/Setoid | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Relation/Subset | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Relation | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List/Zipper | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/List | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Maybe | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Nat/DivMod | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Nat/GCD | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Nat/Properties | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Nat | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Product/Categorical/Left | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Product/Categorical/Right | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Product/Categorical | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Product/N-ary | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Product/Relation/Lex | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Product/Relation/Pointwise | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Product/Relation | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Product | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Rational | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Sign | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Star | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/String | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Sum/Categorical | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Sum/Relation | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Sum | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Table/Relation | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Table | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/These/Categorical/Left | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/These/Categorical/Right | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/These/Categorical | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/These | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Unit | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Vec/All | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Vec/Membership/Propositional | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Vec/Membership | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Vec/Relation/Equality | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Vec/Relation/Pointwise | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Vec/Relation | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Vec | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/W | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data/Word | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Data | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Foreign | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Function/Identity | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Function/Related/TypeIsomorphisms | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Function/Related | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Function | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Induction | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/IO | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Level | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/Construct/Closure/ReflexiveTransitive | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/Construct/Closure | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/Construct | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/HeterogeneousEquality/Quotients | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/HeterogeneousEquality | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/Indexed/Heterogeneous/Construct | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/Indexed/Heterogeneous | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/Indexed/Homogeneous | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/Indexed | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/List | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/Product | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/Properties | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/PropositionalEquality | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/Sigma | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary/Vec | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Binary | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Nullary | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Unary/Closure | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation/Unary | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda/Relation | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share/agda | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17/share | |
| 0 /nix/store/hhj006v7r40c048brb8x5yfb71i5wchb-agda-stdlib-0.17 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment