├── .gitignore ├── Makefile ├── README.md ├── all-pandoc ├── made-latex.txt ├── markdown ├── absurd-useful.md ├── agda-in-coq.md ├── all-right.md ├── alopegmorphism.md ├── append-patterns.md ├── appl-free-monad.md ├── appl-min-max.md ├── appl-monad-ap.md ├── appl-not-map.md ├── appl-rew-reader.md ├── appl-tensor.md ├── applicatives-compose.md ├── arbitrary-ap.md ├── array-appl.md ├── arrow-mfix.md ├── as-pattern-example.md ├── bool-exp-error.md ├── bst-check.md ├── btree-zipper.md ├── bubble-monoid.md ├── bunch-accum.md ├── buzzard-bazooka-zoom.md ├── cat-classes.md ├── chain-algebra.md ├── check-invariants.md ├── church-balanced-trees.md ├── cofree-comonad.md ├── coherence-ott.md ├── cojoin-grids.md ├── combinatory-tt.md ├── complex-patterns.md ├── const-appl.md ├── constraining-constructors.md ├── constructor-packs-types.md ├── coq-type-inequality.md ├── dep-haskell.md ├── derive-functor-gremlin.md ├── double-floating.md ├── empty-product.md ├── equalisers.md ├── examples-K012.md ├── existential-wrappers.md ├── fat-arrow.md ├── fib-pedantry.md ├── fibs-explain.md ├── find-applicatives.md ├── find-indices.md ├── findpath.md ├── fins-explain.md ├── fix-ix.md ├── flip-instance.md ├── fold-infinite.md ├── foldl-foldr.md ├── forever-no-output.md ├── free-btree-monad.md ├── functions-of-gadts.md ├── functor-fix.md ├── functor-flip.md ├── funny-filter.md ├── gadt-eq.md ├── gadt-promotion.md ├── generator-comonad.md ├── grok-singletons.md ├── haskell-mem-man.md ├── hasochism-plug.md ├── idiom-bracket-liftm.md ├── indexed-cata.md ├── indexed-monad.md ├── infix-appl.md ├── init-rose.md ├── insert-merge.md ├── integers-modulo.md ├── interval.md ├── is-function.md ├── kleene-star-gadt.md ├── kleisli-monoid.md ├── lazy-gadt.md ├── leftthing.md ├── lemma-function.md ├── lines-foldr.md ├── match-constructor.md ├── maybe-min.md ├── maybe-monoid-gripe.md ├── mergewords.md ├── monad-at-prompt.md ├── monad-fail.md ├── monad-join.md ├── monad-to-applicative.md ├── monads-dont-compose.md ├── mono-rest.md ├── monoidal-fold-fix.md ├── need-containers.md ├── nellist-comonads.md ├── newtype-list-traverse.md ├── no-pair-appl.md ├── non-linear-type-matching.md ├── normal-traversable.md ├── normans-homework.md ├── nub-comprehension.md ├── number-tree.md ├── padme-applicative.md ├── paramorphisms.md ├── parsec-appl-monad.md ├── pattern-match-ott.md ├── pattern-matching.md ├── pause-monad.md ├── phantom-functor.md ├── positive-integer.md ├── previous-element.md ├── rank-3.md ├── rankn-explicit.md ├── real-world-dt.md ├── recorde.md ├── recursive-instances.md ├── recursive-type-families.md ├── refactor-monad-appl.md ├── refute-equation.md ├── representable.md ├── return-list.md ├── run-compile-universes.md ├── seemingly-valid.md ├── serial-diag.md ├── show-read.md ├── shplit-plug.md ├── splitting-list.md ├── state-interpreter.md ├── strength-sequence.md ├── sum-from-list.md ├── sum3-zipwith3.md ├── take-until-dup.md ├── term-monad.md ├── text-editor.md ├── trav-list-list.md ├── trav-zipper.md ├── traversable-sequence-clojure.md ├── trie-match.md ├── type-ambiguity.md ├── type-fam-f-omega.md ├── type-level-or.md ├── type-vs-data.md ├── typecase-bad.md ├── typed-het-collection.md ├── undecidable-instances-loops.md ├── unit-boring.md ├── unit-void.md ├── vector-zipper.md ├── view-pattern-issue.md ├── why-kleisli.md ├── zappy-colists-not-monad.md └── zipper-comonads.md └── so-pigworker.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/README.md -------------------------------------------------------------------------------- /all-pandoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/all-pandoc -------------------------------------------------------------------------------- /made-latex.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/made-latex.txt -------------------------------------------------------------------------------- /markdown/absurd-useful.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/absurd-useful.md -------------------------------------------------------------------------------- /markdown/agda-in-coq.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/agda-in-coq.md -------------------------------------------------------------------------------- /markdown/all-right.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/all-right.md -------------------------------------------------------------------------------- /markdown/alopegmorphism.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/alopegmorphism.md -------------------------------------------------------------------------------- /markdown/append-patterns.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/append-patterns.md -------------------------------------------------------------------------------- /markdown/appl-free-monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/appl-free-monad.md -------------------------------------------------------------------------------- /markdown/appl-min-max.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/appl-min-max.md -------------------------------------------------------------------------------- /markdown/appl-monad-ap.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/appl-monad-ap.md -------------------------------------------------------------------------------- /markdown/appl-not-map.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/appl-not-map.md -------------------------------------------------------------------------------- /markdown/appl-rew-reader.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/appl-rew-reader.md -------------------------------------------------------------------------------- /markdown/appl-tensor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/appl-tensor.md -------------------------------------------------------------------------------- /markdown/applicatives-compose.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/applicatives-compose.md -------------------------------------------------------------------------------- /markdown/arbitrary-ap.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/arbitrary-ap.md -------------------------------------------------------------------------------- /markdown/array-appl.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/array-appl.md -------------------------------------------------------------------------------- /markdown/arrow-mfix.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/arrow-mfix.md -------------------------------------------------------------------------------- /markdown/as-pattern-example.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/as-pattern-example.md -------------------------------------------------------------------------------- /markdown/bool-exp-error.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/bool-exp-error.md -------------------------------------------------------------------------------- /markdown/bst-check.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/bst-check.md -------------------------------------------------------------------------------- /markdown/btree-zipper.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/btree-zipper.md -------------------------------------------------------------------------------- /markdown/bubble-monoid.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/bubble-monoid.md -------------------------------------------------------------------------------- /markdown/bunch-accum.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/bunch-accum.md -------------------------------------------------------------------------------- /markdown/buzzard-bazooka-zoom.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/buzzard-bazooka-zoom.md -------------------------------------------------------------------------------- /markdown/cat-classes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/cat-classes.md -------------------------------------------------------------------------------- /markdown/chain-algebra.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/chain-algebra.md -------------------------------------------------------------------------------- /markdown/check-invariants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/check-invariants.md -------------------------------------------------------------------------------- /markdown/church-balanced-trees.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/church-balanced-trees.md -------------------------------------------------------------------------------- /markdown/cofree-comonad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/cofree-comonad.md -------------------------------------------------------------------------------- /markdown/coherence-ott.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/coherence-ott.md -------------------------------------------------------------------------------- /markdown/cojoin-grids.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/cojoin-grids.md -------------------------------------------------------------------------------- /markdown/combinatory-tt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/combinatory-tt.md -------------------------------------------------------------------------------- /markdown/complex-patterns.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/complex-patterns.md -------------------------------------------------------------------------------- /markdown/const-appl.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/const-appl.md -------------------------------------------------------------------------------- /markdown/constraining-constructors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/constraining-constructors.md -------------------------------------------------------------------------------- /markdown/constructor-packs-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/constructor-packs-types.md -------------------------------------------------------------------------------- /markdown/coq-type-inequality.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/coq-type-inequality.md -------------------------------------------------------------------------------- /markdown/dep-haskell.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/dep-haskell.md -------------------------------------------------------------------------------- /markdown/derive-functor-gremlin.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/derive-functor-gremlin.md -------------------------------------------------------------------------------- /markdown/double-floating.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/double-floating.md -------------------------------------------------------------------------------- /markdown/empty-product.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/empty-product.md -------------------------------------------------------------------------------- /markdown/equalisers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/equalisers.md -------------------------------------------------------------------------------- /markdown/examples-K012.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/examples-K012.md -------------------------------------------------------------------------------- /markdown/existential-wrappers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/existential-wrappers.md -------------------------------------------------------------------------------- /markdown/fat-arrow.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/fat-arrow.md -------------------------------------------------------------------------------- /markdown/fib-pedantry.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/fib-pedantry.md -------------------------------------------------------------------------------- /markdown/fibs-explain.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/fibs-explain.md -------------------------------------------------------------------------------- /markdown/find-applicatives.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/find-applicatives.md -------------------------------------------------------------------------------- /markdown/find-indices.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/find-indices.md -------------------------------------------------------------------------------- /markdown/findpath.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/findpath.md -------------------------------------------------------------------------------- /markdown/fins-explain.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/fins-explain.md -------------------------------------------------------------------------------- /markdown/fix-ix.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/fix-ix.md -------------------------------------------------------------------------------- /markdown/flip-instance.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/flip-instance.md -------------------------------------------------------------------------------- /markdown/fold-infinite.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/fold-infinite.md -------------------------------------------------------------------------------- /markdown/foldl-foldr.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/foldl-foldr.md -------------------------------------------------------------------------------- /markdown/forever-no-output.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/forever-no-output.md -------------------------------------------------------------------------------- /markdown/free-btree-monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/free-btree-monad.md -------------------------------------------------------------------------------- /markdown/functions-of-gadts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/functions-of-gadts.md -------------------------------------------------------------------------------- /markdown/functor-fix.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/functor-fix.md -------------------------------------------------------------------------------- /markdown/functor-flip.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/functor-flip.md -------------------------------------------------------------------------------- /markdown/funny-filter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/funny-filter.md -------------------------------------------------------------------------------- /markdown/gadt-eq.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/gadt-eq.md -------------------------------------------------------------------------------- /markdown/gadt-promotion.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/gadt-promotion.md -------------------------------------------------------------------------------- /markdown/generator-comonad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/generator-comonad.md -------------------------------------------------------------------------------- /markdown/grok-singletons.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/grok-singletons.md -------------------------------------------------------------------------------- /markdown/haskell-mem-man.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/haskell-mem-man.md -------------------------------------------------------------------------------- /markdown/hasochism-plug.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/hasochism-plug.md -------------------------------------------------------------------------------- /markdown/idiom-bracket-liftm.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/idiom-bracket-liftm.md -------------------------------------------------------------------------------- /markdown/indexed-cata.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/indexed-cata.md -------------------------------------------------------------------------------- /markdown/indexed-monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/indexed-monad.md -------------------------------------------------------------------------------- /markdown/infix-appl.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/infix-appl.md -------------------------------------------------------------------------------- /markdown/init-rose.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/init-rose.md -------------------------------------------------------------------------------- /markdown/insert-merge.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/insert-merge.md -------------------------------------------------------------------------------- /markdown/integers-modulo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/integers-modulo.md -------------------------------------------------------------------------------- /markdown/interval.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/interval.md -------------------------------------------------------------------------------- /markdown/is-function.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/is-function.md -------------------------------------------------------------------------------- /markdown/kleene-star-gadt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/kleene-star-gadt.md -------------------------------------------------------------------------------- /markdown/kleisli-monoid.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/kleisli-monoid.md -------------------------------------------------------------------------------- /markdown/lazy-gadt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/lazy-gadt.md -------------------------------------------------------------------------------- /markdown/leftthing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/leftthing.md -------------------------------------------------------------------------------- /markdown/lemma-function.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/lemma-function.md -------------------------------------------------------------------------------- /markdown/lines-foldr.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/lines-foldr.md -------------------------------------------------------------------------------- /markdown/match-constructor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/match-constructor.md -------------------------------------------------------------------------------- /markdown/maybe-min.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/maybe-min.md -------------------------------------------------------------------------------- /markdown/maybe-monoid-gripe.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/maybe-monoid-gripe.md -------------------------------------------------------------------------------- /markdown/mergewords.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/mergewords.md -------------------------------------------------------------------------------- /markdown/monad-at-prompt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/monad-at-prompt.md -------------------------------------------------------------------------------- /markdown/monad-fail.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/monad-fail.md -------------------------------------------------------------------------------- /markdown/monad-join.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/monad-join.md -------------------------------------------------------------------------------- /markdown/monad-to-applicative.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/monad-to-applicative.md -------------------------------------------------------------------------------- /markdown/monads-dont-compose.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/monads-dont-compose.md -------------------------------------------------------------------------------- /markdown/mono-rest.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/mono-rest.md -------------------------------------------------------------------------------- /markdown/monoidal-fold-fix.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/monoidal-fold-fix.md -------------------------------------------------------------------------------- /markdown/need-containers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/need-containers.md -------------------------------------------------------------------------------- /markdown/nellist-comonads.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/nellist-comonads.md -------------------------------------------------------------------------------- /markdown/newtype-list-traverse.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/newtype-list-traverse.md -------------------------------------------------------------------------------- /markdown/no-pair-appl.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/no-pair-appl.md -------------------------------------------------------------------------------- /markdown/non-linear-type-matching.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/non-linear-type-matching.md -------------------------------------------------------------------------------- /markdown/normal-traversable.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/normal-traversable.md -------------------------------------------------------------------------------- /markdown/normans-homework.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/normans-homework.md -------------------------------------------------------------------------------- /markdown/nub-comprehension.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/nub-comprehension.md -------------------------------------------------------------------------------- /markdown/number-tree.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/number-tree.md -------------------------------------------------------------------------------- /markdown/padme-applicative.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/padme-applicative.md -------------------------------------------------------------------------------- /markdown/paramorphisms.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/paramorphisms.md -------------------------------------------------------------------------------- /markdown/parsec-appl-monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/parsec-appl-monad.md -------------------------------------------------------------------------------- /markdown/pattern-match-ott.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/pattern-match-ott.md -------------------------------------------------------------------------------- /markdown/pattern-matching.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/pattern-matching.md -------------------------------------------------------------------------------- /markdown/pause-monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/pause-monad.md -------------------------------------------------------------------------------- /markdown/phantom-functor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/phantom-functor.md -------------------------------------------------------------------------------- /markdown/positive-integer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/positive-integer.md -------------------------------------------------------------------------------- /markdown/previous-element.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/previous-element.md -------------------------------------------------------------------------------- /markdown/rank-3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/rank-3.md -------------------------------------------------------------------------------- /markdown/rankn-explicit.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/rankn-explicit.md -------------------------------------------------------------------------------- /markdown/real-world-dt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/real-world-dt.md -------------------------------------------------------------------------------- /markdown/recorde.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/recorde.md -------------------------------------------------------------------------------- /markdown/recursive-instances.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/recursive-instances.md -------------------------------------------------------------------------------- /markdown/recursive-type-families.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/recursive-type-families.md -------------------------------------------------------------------------------- /markdown/refactor-monad-appl.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/refactor-monad-appl.md -------------------------------------------------------------------------------- /markdown/refute-equation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/refute-equation.md -------------------------------------------------------------------------------- /markdown/representable.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/representable.md -------------------------------------------------------------------------------- /markdown/return-list.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/return-list.md -------------------------------------------------------------------------------- /markdown/run-compile-universes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/run-compile-universes.md -------------------------------------------------------------------------------- /markdown/seemingly-valid.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/seemingly-valid.md -------------------------------------------------------------------------------- /markdown/serial-diag.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/serial-diag.md -------------------------------------------------------------------------------- /markdown/show-read.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/show-read.md -------------------------------------------------------------------------------- /markdown/shplit-plug.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/shplit-plug.md -------------------------------------------------------------------------------- /markdown/splitting-list.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/splitting-list.md -------------------------------------------------------------------------------- /markdown/state-interpreter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/state-interpreter.md -------------------------------------------------------------------------------- /markdown/strength-sequence.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/strength-sequence.md -------------------------------------------------------------------------------- /markdown/sum-from-list.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/sum-from-list.md -------------------------------------------------------------------------------- /markdown/sum3-zipwith3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/sum3-zipwith3.md -------------------------------------------------------------------------------- /markdown/take-until-dup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/take-until-dup.md -------------------------------------------------------------------------------- /markdown/term-monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/term-monad.md -------------------------------------------------------------------------------- /markdown/text-editor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/text-editor.md -------------------------------------------------------------------------------- /markdown/trav-list-list.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/trav-list-list.md -------------------------------------------------------------------------------- /markdown/trav-zipper.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/trav-zipper.md -------------------------------------------------------------------------------- /markdown/traversable-sequence-clojure.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/traversable-sequence-clojure.md -------------------------------------------------------------------------------- /markdown/trie-match.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/trie-match.md -------------------------------------------------------------------------------- /markdown/type-ambiguity.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/type-ambiguity.md -------------------------------------------------------------------------------- /markdown/type-fam-f-omega.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/type-fam-f-omega.md -------------------------------------------------------------------------------- /markdown/type-level-or.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/type-level-or.md -------------------------------------------------------------------------------- /markdown/type-vs-data.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/type-vs-data.md -------------------------------------------------------------------------------- /markdown/typecase-bad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/typecase-bad.md -------------------------------------------------------------------------------- /markdown/typed-het-collection.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/typed-het-collection.md -------------------------------------------------------------------------------- /markdown/undecidable-instances-loops.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/undecidable-instances-loops.md -------------------------------------------------------------------------------- /markdown/unit-boring.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/unit-boring.md -------------------------------------------------------------------------------- /markdown/unit-void.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/unit-void.md -------------------------------------------------------------------------------- /markdown/vector-zipper.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/vector-zipper.md -------------------------------------------------------------------------------- /markdown/view-pattern-issue.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/view-pattern-issue.md -------------------------------------------------------------------------------- /markdown/why-kleisli.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/why-kleisli.md -------------------------------------------------------------------------------- /markdown/zappy-colists-not-monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/zappy-colists-not-monad.md -------------------------------------------------------------------------------- /markdown/zipper-comonads.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/markdown/zipper-comonads.md -------------------------------------------------------------------------------- /so-pigworker.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/so-pigworker/HEAD/so-pigworker.tex --------------------------------------------------------------------------------