<ul dir="ltr"><li><a target="_blank" href="https://en.wikipedia.org/wiki/Group_theory">Group Theory</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Cayley%27s_theorem">Cayley's Theorem</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Yoneda_lemma">Yoneda lemma</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Natural_transformation">Natural Transformation</a></li><li><a target="_blank" href="https://www.patreon.com/magicreadalong">Patreon</a></li><li><a target="_blank" href="https://ncatlab.org/nlab/show/corepresentable+functor">Corepresentable</a></li><li><a target="_blank" href="https://gist.github.com/Icelandjack/5afdaa32f41adf3204ef9025d9da2a70#any-applicative-is-num">Any Applicative Is Num</a></li><li><a target="_blank" href="https://gist.github.com/Icelandjack/5afdaa32f41adf3204ef9025d9da2a70#accept-values-with-varying-number-of-arguments">Accept values with varying number of arguments</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Heyting_algebra">Heyting Algebra</a></li><li><a target="_blank" href="https://pursuit.purescript.org/packages/purescript-prelude/3.1.0/docs/Data.HeytingAlgebra#v:heytingAlgebraFunction">PureScript instance</a></li><li><a target="_blank" href="https://facebook.github.io/react-native/">React Native</a></li><li><a target="_blank" href="https://hackage.haskell.org/package/recursion-schemes">Recursion Schemes</a></li><li><a target="_blank" href="https://github.com/slamdata/purescript-matryoshka">purescript-matryoshka</a></li><li><a target="_blank" href="https://github.com/paf31/24-days-of-purescript-2016/blob/master/23.markdown">Type-Directed Search</a></li><li><a target="_blank" href="https://youtu.be/52VsgyexS8Q">Hole-driven Haskell</a></li></ul>

Group TheoryCayley's TheoremYoneda lemmaNatural TransformationPatreonCorepresentableAny Applicative Is NumAccept values with varying number of argumentsHeyting AlgebraPureScript instanceReact NativeRecursion Schemespurescript-matryoshkaType-Directed SearchHole-driven Haskell

<ul><li><a href="https://en.wikipedia.org/wiki/Group_theory" rel="noopener noreferrer">Group Theory</a></li><li><a href="https://en.wikipedia.org/wiki/Cayley%27s_theorem" rel="noopener noreferrer">Cayley's Theorem</a></li><li><a href="https://en.wikipedia.org/wiki/Yoneda_lemma" rel="noopener noreferrer">Yoneda lemma</a></li><li><a href="https://en.wikipedia.org/wiki/Natural_transformation" rel="noopener noreferrer">Natural Transformation</a></li><li><a href="https://www.patreon.com/magicreadalong" rel="noopener noreferrer">Patreon</a></li><li><a href="https://ncatlab.org/nlab/show/corepresentable+functor" rel="noopener noreferrer">Corepresentable</a></li><li><a href="https://gist.github.com/Icelandjack/5afdaa32f41adf3204ef9025d9da2a70#any-applicative-is-num" rel="noopener noreferrer">Any Applicative Is Num</a></li><li><a href="https://gist.github.com/Icelandjack/5afdaa32f41adf3204ef9025d9da2a70#accept-values-with-varying-number-of-arguments" rel="noopener noreferrer">Accept values with varying number of arguments</a></li><li><a href="https://en.wikipedia.org/wiki/Heyting_algebra" rel="noopener noreferrer">Heyting Algebra</a></li><li><a href="https://pursuit.purescript.org/packages/purescript-prelude/3.1.0/docs/Data.HeytingAlgebra#v:heytingAlgebraFunction" rel="noopener noreferrer">PureScript instance</a></li><li><a href="https://facebook.github.io/react-native/" rel="noopener noreferrer">React Native</a></li><li><a href="https://hackage.haskell.org/package/recursion-schemes" rel="noopener noreferrer">Recursion Schemes</a></li><li><a href="https://github.com/slamdata/purescript-matryoshka" rel="noopener noreferrer">purescript-matryoshka</a></li><li><a href="https://github.com/paf31/24-days-of-purescript-2016/blob/master/23.markdown" rel="noopener noreferrer">Type-Directed Search</a></li><li><a href="https://youtu.be/52VsgyexS8Q" rel="noopener noreferrer">Hole-driven Haskell</a></li></ul>

Type Class Tom-Foolery

Follow along with Brian Lonsdorf and Hardy Jones as they explore the internet, life, and programming.

Share Type Class Tom-Foolery

Sign up to save your podcasts

Type Class Tom-Foolery

Type Class Tom-Foolery