Mercurial > hg > Members > atton > agda-proofs
changeset 76:29a3a4b79d4d
Add comment
| author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 03 Feb 2017 02:28:46 +0000 |
| parents | 79d435b16241 |
| children | a2e6f61d5f2b |
| files | cbc/atton-master-meta-sample.agda |
| diffstat | 1 files changed, 1 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/cbc/atton-master-meta-sample.agda Fri Feb 03 02:20:25 2017 +0000 +++ b/cbc/atton-master-meta-sample.agda Fri Feb 03 02:28:46 2017 +0000 @@ -74,3 +74,4 @@ main : Meta main = gotoMeta push cs0 (record {context = (record {a = 100 ; b = 50 ; c = 70}) ; c' = 0 ; next = (N.cs id)}) +-- record {context = record {a = 100 ; b = 50 ; c = 150} ; c' = 70 ; next = (N.cs id)}