Mercurial > hg > Papers > 2015 > atton-thesis
view src/modus_ponens.txt @ 24:13affa3e65a2
Add curry-howad isomorphism
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 10 Feb 2015 11:38:36 +0900 |
parents | |
children |
line wrap: on
line source
*Main> :type fst fst :: (a, b) -> a *Main> :type snd snd :: (a, b) -> b *Main> :type \cond -> (\a -> (snd cond ((fst cond) a))) \cond -> (\a -> (snd cond ((fst cond) a))) :: (t2 -> t1, t1 -> t) -> t2 -> t