Mercurial > hg > Papers > 2020 > ryokka-master

comparison paper/src/Nat.agda.replaced @ 7:8ef64db63497

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix agda.tex
author ryokka
date Thu, 06 Feb 2020 19:24:32 +0900
parents c7acb9211784
children
comparison
equal deleted inserted replaced
6:d30593612a38 7:8ef64db63497
1 module nat where 1 data @$\mathbb{N}$@ : Set where
2 2 zero : @$\mathbb{N}$@
3 data Nat : Set where 3 suc : @$\mathbb{N}$@ @$\rightarrow$@ @$\mathbb{N}$@
4 O : Nat 4
5 S : Nat @$\rightarrow$@ Nat 5