Mercurial > repo

annotate wisdom/diagram chasing @ 12320:9c7eb9899d95 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<fizzie> le/rn karma//All living beings have actions (karma) as their own, their inheritance, their congenital cause, their kinsman, their refuge. It is karma that differentiates beings into low and high states.
author HackEso <hackeso@esolangs.org>
date Fri, 06 Mar 2020 23:08:37 +0000
parents c47748ca69d9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
11099
c47748ca69d9 <shachaf> le/rn diagram chasing//Diagram chasing is a technique used to prove integer lemmas. Taneb invented it.
HackBot
parents:
diff changeset
1 Diagram chasing is a technique used to prove integer lemmas. Taneb invented it.