Mercurial > hg > Papers > 2021 > soto-thesis

comparison paper/src/NatAdd.agda.replaced @ 3:959f4b34d6f4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add final thesis
author soto
date Tue, 09 Feb 2021 18:44:53 +0900
parents
children
comparison
equal deleted inserted replaced
2:2c50fd1d115e 3:959f4b34d6f4
1 open import nat
2 module nat_add where
3
4 _+_ : Nat @$\rightarrow$@ Nat @$\rightarrow$@ Nat
5 O + m = m
6 (S n) + m = S (n + m)