Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		www.jeremykun.com The Universal Properties of Map, Fold, and Filter \| Math Programming
\|	\|	cronokirby.com Encoding the Naturals - Cronokirby Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/	2.2 parsecs Travel
\|	\|
\|	\|	eli.thegreenplace.net Right and left folds, primitive recursion patterns in Python and Haskell - Eli Bendersky's website	3.7 parsecs Travel
\|	\|
\|	\|	jackkelly.name Monoids in the Category of... \| Blog \| jackkelly.name	3.4 parsecs Travel
\|	\|
\|	\|	terrytao.wordpress.com The equational theories project: a brief tour \| What's new Almost three weeks ago, I proposed a collaborative project, combining the efforts of professional and amateur mathematicians, automatic theorem provers, AI tools, and the proof assistant language L...	22.8 parsecs Travel
\|