annotate wisdom/frame @ 8463:667e92bd358d

<shachaf> sedlast s/The difference is that/However,/;s/ism doesn\'t/isms don\'t/;s/a f/f/
author HackBot
date Sun, 12 Jun 2016 11:27:29 +0000
parents 75dd397d6668
children 836a254d2791
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8463
667e92bd358d <shachaf> sedlast s/The difference is that/However,/;s/ism doesn\'t/isms don\'t/;s/a f/f/
HackBot
parents: 8462
diff changeset
1 A frame is just a complete Heyting algebra. However, frame homomorphisms don't preserve implication, if you know what I mean.