log
graph
tags
bookmarks
branches
changeset
browse
file
latest
diff
comparison
annotate
file log
raw
help
Mercurial
>
hg
>
Papers
>
2020
>
soto-midterm
annotate src/record.agda @ 1:
73127e0ab57c
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
(none)
author
soto@cr.ie.u-ryukyu.ac.jp
date
Tue, 08 Sep 2020 18:38:08 +0900
parents
children
Ignore whitespace changes -
Everywhere:
Within whitespace:
At end of lines:
rev
line source
1
73127e0ab57c
soto@cr.ie.u-ryukyu.ac.jp
parents:
diff
changeset
1
record Env : Set where
73127e0ab57c
soto@cr.ie.u-ryukyu.ac.jp
parents:
diff
changeset
2
field
73127e0ab57c
soto@cr.ie.u-ryukyu.ac.jp
parents:
diff
changeset
3
varn : ℕ
73127e0ab57c
soto@cr.ie.u-ryukyu.ac.jp
parents:
diff
changeset
4
vari : ℕ