08.31.2017 - By Brian Lonsdorf & Hardy Jones
Sweet Baby Ray'sTalkboyYak BakReactHeyting AlgebraMoore MachineMoore for Lessclojure.specComonadFunctorTrieMealy MachineAdjunctionmorphism-zooUnifying Structured Recursion Schemes - Ralf Hinze, Nicolas Wu, and Jeremy GibbonsPrettyprintA prettier printer - Philip WadlerPrettierelm-formatPony