Mercurial > repo
view wisdom/perfunctory @ 12436:a626721f5556 draft
<b_jonas> python3 -cn="/hackenv/bin/("; s=open(n).read(); s=s.replace(\' canary\',\' -- "$HACKENV/canary"\'); open(n,"w").write(s); print(s);
author | HackEso <hackeso@esolangs.org> |
---|---|
date | Sat, 11 Dec 2021 21:49:11 +0000 |
parents | 1063e9a44522 |
children |
line wrap: on
line source
A perfunctory proof is a category-theoretical proof that cites Per Martin-Löf.