Mercurial > repo
view wisdom/wisdome @ 8467:14d76a4877b8
<shachaf> le/rn complete heyting algebra/A complete Heyting algebra is just a cartesian closed complete lattice.
author | HackBot |
---|---|
date | Mon, 13 Jun 2016 00:05:58 +0000 |
parents | ba77039344a6 |
children | 41ed52d2ea3c |
line wrap: on
line source
The Wisdome is the place where all of HackBot's wisdom is stored and forced to fight to the death for the freedom of being printed out when you type `wisdom.