Mercurial > repo

view wisdom/speedy gonzales @ 8467:14d76a4877b8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<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 30bfa4855c04
children
line wrap: on
line source

Sp e  e   d    y     G      o       n        z         a          l           e            s             i              s               t                h                 e                  f                   a                    s                     t                      e                       s                        t                         m                          o