Mercurial > hg > Members > kono > Proof > category

diff negnat.agda @ 454:2f07f4dd9a6d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 02 Mar 2017 13:25:05 +0900
parents 3c2ce4474d92
children 4c0580d9dda4
line wrap: on
line diff
--- a/negnat.agda	Thu Mar 02 11:36:31 2017 +0900
+++ b/negnat.agda	Thu Mar 02 13:25:05 2017 +0900
@@ -61,7 +61,6 @@
 
 
 --  http://stackoverflow.com/questions/18347542/agda-how-does-one-obtain-a-value-of-a-dependent-type
-
 even : ℕ -> Set
 even zero = ⊤
 even (suc zero) =  ⊥