Mercurial > hg > Papers > 2018 > ryokka-thesis

comparison final_main/src/AgdaPlus.agda @ 2:93d26c4576d3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add picture
author ryokka
date Thu, 01 Feb 2018 01:17:55 +0900
parents
children
comparison
equal deleted inserted replaced
1:0035f6d4826f 2:93d26c4576d3
1 _+_ : Nat -> Nat -> Nat
2 zero + m = m
3 suc n + m = suc (n + m)