annotate wisdom/frame @ 9310:7f3b918cf56f

<oerjan> learn Logic is just another way the true Scotsman is keeping you down.
author HackBot
date Mon, 17 Oct 2016 01:19:01 +0000
parents 836a254d2791
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8466
836a254d2791 <shachaf> sled wisdom/frame//s/However, f/F/
HackBot
parents: 8463
diff changeset
1 A frame is just a complete Heyting algebra. Frame homomorphisms don't preserve implication, if you know what I mean.