3 ms·
I'm eagerly awaiting "Haskell for Toddlers: Proving the Eisbach-Goedel Conjecture with Multicyclic Monad Binary Trees".
by dj_mc_merlin 6y ago
I'm eagerly awaiting "Haskell for Toddlers: Proving the Eisbach-Goedel Conjecture with Multicyclic Monad Binary Trees".