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

add picture
author ryokka
date Thu, 01 Feb 2018 01:17:55 +0900
parents
children
line wrap: on
line source

_+_ : Nat -> Nat -> Nat
zero  + m = m
suc n + m = suc (n + m)