Mercurial > repo
annotate wisdom/diagram chasing @ 11598:dae5051cda7b draft
<wob_jonas> learn Angband is Morgoth\'s second dungeon (the first was Utumno). When the greater and lesser people of Middle-Earth together defeated Morgoth in Angband, they were too lazy to go to for 100% completion, so some evil spirits in Angband survived for a sequel, and Morgoth himself recovered and was the final boss in Numenor.
author | HackEso <hackeso@esolangs.org> |
---|---|
date | Thu, 16 Aug 2018 18:11:33 +0000 |
parents | c47748ca69d9 |
children |
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. |