log
graph
tags
bookmarks
branches
changeset
browse
file
latest
diff
comparison
annotate
file log
raw
help
Mercurial
>
hg
>
Papers
>
2018
>
ryokka-thesis
annotate final_pre/src/Nat.agda @ 7:
28f900230c26
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
add final_pre
author
ryokka
date
Mon, 19 Feb 2018 23:32:24 +0900
parents
children
Ignore whitespace changes -
Everywhere:
Within whitespace:
At end of lines:
rev
line source
7
28f900230c26
add final_pre
ryokka
parents:
diff
changeset
1
module nat where
28f900230c26
add final_pre
ryokka
parents:
diff
changeset
2
28f900230c26
add final_pre
ryokka
parents:
diff
changeset
3
data Nat : Set where
28f900230c26
add final_pre
ryokka
parents:
diff
changeset
4
O : Nat
28f900230c26
add final_pre
ryokka
parents:
diff
changeset
5
S : Nat -> Nat