view wisdom/certainly @ 11184:71dde00b9899

<mroman> slashlearn turing machine//A turing machine is a machine that turs.
author HackBot
date Sat, 02 Sep 2017 19:23:22 +0000
parents f73b64ab4442
children
line wrap: on
line source

We don't know what certainly is for sure, but it certainly isn't a functor.