view wisdom/tall @ 12257:1924fe176291 draft

<fizzie> ` sed -e \'s|wisdom|bin|\' < ../bin/cwlprits > ../bin/cblprits; chmod a+x ../bin/cblprits
author HackEso <hackeso@esolangs.org>
date Sat, 07 Dec 2019 23:36:53 +0000
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.