Mercurial > repo
view wisdom/hfs @ 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 | a81757643d44 |
children | 0c3c398a5313 |
line wrap: on
line source
04You have discovered an eerie cavern. The air aboe the dark stone floor is alive ith vortices of purple light and dark, boiling clouds. Seemingly bottemless pits mark the surface.