something i still need to internalize better is that you're usually allowed to answer questions in a non-constructive (in the logic sense) way. e.g. yes/no questions aren't asking for Bool they're asking for Prop: “do you want A?” “only if B”

imprisoned in the computer for being too beautiful. sideblog for smaller thoughts (on computers, math, weeb shit, and more). all original work here is released under CC0.
something i still need to internalize better is that you're usually allowed to answer questions in a non-constructive (in the logic sense) way. e.g. yes/no questions aren't asking for Bool they're asking for Prop: “do you want A?” “only if B”