| -rw-r--r-- | .gitignore | 3L |
| -rw-r--r-- | LICENSE | 15L |
| -rw-r--r-- | README.md | 15L |
| -rw-r--r-- | TODO.md | 17L |
| -rw-r--r-- | Todo/Algebra.slop.md | 365L |
| -rw-r--r-- | Todo/Bifunctors.hs.txt | 49L |
| -rw-r--r-- | Todo/Category.hs.txt | 72L |
| -rw-r--r-- | Todo/Const.hs.txt | 44L |
| -rw-r--r-- | Todo/DependentKinds.hs.txt | 39L |
| -rw-r--r-- | Todo/ExternalProduct.hs.txt | 47L |
| -rw-r--r-- | Todo/HomIso.hs.txt | 417L |
| -rw-r--r-- | Todo/Lude.hs.txt | 417L |
| -rw-r--r-- | Todo/Quantifier.hs.txt | 53L |
| -rw-r--r-- | Todo/ReprGenericMaybe.hs.txt | 57L |
| -rw-r--r-- | Todo/SomeType.hs.txt | 64L |
| -rw-r--r-- | Todo/Wip.hs.txt | 9L |
| -rw-r--r-- | Todo/Yoneda.hs.txt | 11L |
| -rw-r--r-- | Todo/Zap.slop.md | 57L |
| -rw-r--r-- | fourmolu.yaml | 25L |
| -rw-r--r-- | package.yaml | 66L |
| -rw-r--r-- | src/Lude.hs | 22L |
| -rw-r--r-- | src/Lude/Algebra.hs | 6L |
| -rw-r--r-- | src/Lude/Algebra/Category.hs | 25L |
| -rw-r--r-- | src/Lude/Algebra/Category/Adjunction.hs | 37L |
| -rw-r--r-- | src/Lude/Algebra/Category/Algebra.hs | 124L |
| -rw-r--r-- | src/Lude/Algebra/Category/Bifunctor.hs | 198L |
| -rw-r--r-- | src/Lude/Algebra/Category/Constrained.hs | 34L |
| -rw-r--r-- | src/Lude/Algebra/Category/Core.hs | 301L |
| -rw-r--r-- | src/Lude/Algebra/Category/Discrete.hs | 28L |
| -rw-r--r-- | src/Lude/Algebra/Category/Hom.hs | 38L |
| -rw-r--r-- | src/Lude/Algebra/Category/Initial.hs | 28L |
| -rw-r--r-- | src/Lude/Algebra/Category/Iso.hs | 45L |
| -rw-r--r-- | src/Lude/Algebra/Category/Monad.hs | 83L |
| -rw-r--r-- | src/Lude/Algebra/Category/README.md | 2L |
| -rw-r--r-- | src/Lude/Algebra/Category/Terminal.hs | 28L |
| -rw-r--r-- | src/Lude/Algebra/Magma.hs | 834L |
| -rw-r--r-- | src/Lude/Bool.hs | 20L |
| -rw-r--r-- | src/Lude/Constraint.hs | 13L |
| -rw-r--r-- | src/Lude/Constraint/Core.hs | 29L |
| -rw-r--r-- | src/Lude/Constraint/Falsum.hs | 10L |
| -rw-r--r-- | src/Lude/Constraint/Predicate.hs | 42L |
| -rw-r--r-- | src/Lude/Constraint/Verum.hs | 11L |
| -rw-r--r-- | src/Lude/Development.hs | 29L |
| -rw-r--r-- | src/Lude/Either.hs | 29L |
| -rw-r--r-- | src/Lude/Equivalence.hs | 89L |
| -rw-r--r-- | src/Lude/Error.hs | 62L |
| -rw-r--r-- | src/Lude/Function.hs | 144L |
| -rw-r--r-- | src/Lude/Haskell.hs | 20L |
| -rw-r--r-- | src/Lude/Haskell/BaseInterop.hs | 15L |
| -rw-r--r-- | src/Lude/Haskell/Bool.hs | 17L |
| -rw-r--r-- | src/Lude/Haskell/Category.hs | 302L |
| -rw-r--r-- | src/Lude/Haskell/Constraint.hs | 54L |
| -rw-r--r-- | src/Lude/Haskell/Core.hs | 91L |
| -rw-r--r-- | src/Lude/Haskell/Defunctionalization.hs | 55L |
| -rw-r--r-- | src/Lude/Haskell/Exception.hs | 31L |
| -rw-r--r-- | src/Lude/Haskell/Functional.hs | 88L |
| -rw-r--r-- | src/Lude/Haskell/Generic.hs | 137L |
| -rw-r--r-- | src/Lude/Haskell/Integer.hs | 28L |
| -rw-r--r-- | src/Lude/Haskell/List.hs | 7L |
| -rw-r--r-- | src/Lude/Haskell/Natural.hs | 22L |
| -rw-r--r-- | src/Lude/Haskell/Partial.hs | 35L |
| -rw-r--r-- | src/Lude/Haskell/Repr.hs | 111L |
| -rw-r--r-- | src/Lude/Haskell/Tuple.hs | 185L |
| -rw-r--r-- | src/Lude/Haskell/Type.hs | 30L |
| -rw-r--r-- | src/Lude/IO.hs | 7L |
| -rw-r--r-- | src/Lude/Integer.hs | 10L |
| -rw-r--r-- | src/Lude/List.hs | 23L |
| -rw-r--r-- | src/Lude/Maybe.hs | 84L |
| -rw-r--r-- | src/Lude/Natural.hs | 10L |
| -rw-r--r-- | src/Lude/Order.hs | 11L |
| -rw-r--r-- | src/Lude/Order/Bound.hs | 34L |
| -rw-r--r-- | src/Lude/Order/Lattice.hs | 57L |
| -rw-r--r-- | src/Lude/Order/Ordering.hs | 7L |
| -rw-r--r-- | src/Lude/Order/Partial.hs | 77L |
| -rw-r--r-- | src/Lude/Order/Total.hs | 51L |
| -rw-r--r-- | src/Lude/Pair.hs | 171L |
| -rw-r--r-- | src/Lude/Proxy.hs | 7L |
| -rw-r--r-- | src/Lude/Text.hs | 7L |
| -rw-r--r-- | src/Lude/These.hs | 7L |
| -rw-r--r-- | src/Lude/Unit.hs | 17L |
| -rw-r--r-- | src/Lude/Void.hs | 9L |
| -rw-r--r-- | stack.yaml | 2L |
