Mercurial > hg > Members > atton > agda > systemT

comparison systemT.agda @ 2:ca2e9f7a7898

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add De Morgan's laws
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 13 May 2014 11:14:49 +0900
parents f300bd2101d3
children 7138e79615b3
comparison
equal deleted inserted replaced
1:f300bd2101d3 2:ca2e9f7a7898
13 R u v (S t) = v (R u v t) t 13 R u v (S t) = v (R u v t) t
14 14
15 D : {U : Set} -> U -> U -> Bool -> U 15 D : {U : Set} -> U -> U -> Bool -> U
16 D u v F = v 16 D u v F = v
17 D u v T = u 17 D u v T = u
18