8 Feb
2008
8 Feb
'08
10:22 p.m.
For more details, look for a function called "orElim" in the write-up http://www.thenewsh.com/~newsham/formal/curryhoward/ Dan Ryan Ingram wrote:
I'm assuming you mean the rule described in http://en.wikibooks.org/wiki/Formal_Logic/Sentential_Logic/Inference_Rules
type Disj a b = Either a b
disj_elim :: Disj a b -> (a -> c) -> (b -> c) -> c disj_elim (Left a) a2c b2c = a2c a disj_elim (Right b) a2c b2c = b2c b