Mercurial > hg > Papers > 2022 > soto-sigos
diff Paper/src/env.agda.replaced @ 0:14a0e409d574
ADD fast commit
| author | soto <soto@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 24 Apr 2022 23:13:44 +0900 |
| parents | |
| children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Paper/src/env.agda.replaced Sun Apr 24 23:13:44 2022 +0900 @@ -0,0 +1,8 @@ +record Envc : Set where + field + vari : !$\mathbb{N}$! + varn : !$\mathbb{N}$! + c10 : !$\mathbb{N}$! + +makeEnv : !$\mathbb{N}$! !$\rightarrow$! !$\mathbb{N}$! !$\rightarrow$! !$\mathbb{N}$! !$\rightarrow$! Envc +makeEnv i n c = record { vari = i ; varn = n ; c10 = c }