Mercurial > repo
view wisdom/oerjan @ 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 | 25d17890312c |
children | 1b910db2f8a0 |
line wrap: on
line source
pedantic like a STASI agent traces every unknown user. but why? game? tradition? misinformation? uncivilized sports .. ultraviolant on christmas eve. (old text: wisdom/oerjan_)