3 ms·
Cool. I'm also a fan of intuitionist logic in the context for this discussion, because uninhabited but "true" types such as ((a -> b) -> a) -> a are not theore
by pw0ncakes 17y ago
Cool.
I'm also a fan of intuitionist logic in the context for this discussion, because uninhabited but "true" types such as ((a -> b) -> a) -> a are not theorems.