Mercurial > repo

view wisdom/frame @ 9401:7ad94f9b88a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<Zarutian> le/rn religious nut/ This nut should never be eaten as it make people think they are pious but it actually doesnt. Found on the burning bush.
author HackBot
date Sat, 22 Oct 2016 21:56:49 +0000
parents 836a254d2791
children
line wrap: on
line source

A frame is just a complete Heyting algebra. Frame homomorphisms don't preserve implication, if you know what I mean.