08.17.2017 - By Brian Lonsdorf & Hardy Jones
Group TheoryCayley's TheoremYoneda lemmaNatural TransformationPatreonCorepresentableAny Applicative Is NumAccept values with varying number of argumentsHeyting AlgebraPureScript instanceReact NativeRecursion Schemespurescript-matryoshkaType-Directed SearchHole-driven Haskell