Mercurial > repo
view wisdom/tall @ 12514:500486b20e41 draft default tip
<int-e> slwd fungot//s/ds/d s/
author | HackEso <hackeso@esolangs.org> |
---|---|
date | Fri, 27 Sep 2024 20:43:06 +0100 |
parents | 9c2aad7ba4eb |
children |
line wrap: on
line source
A Tall proof is a proof with a small hole, which can only be filled by another Tall proof.