comparison src/agda/Nat.agda @ 6:4bf00f7ba825

add description of agda
author soto@cr.ie.u-ryukyu.ac.jp
date Mon, 14 Sep 2020 02:58:14 +0900
parents
children
comparison
equal deleted inserted replaced
5:d1ab156eec7d 6:4bf00f7ba825
1 data ℕ : Set where
2 zero : ℕ
3 suc : (n : ℕ) → ℕ