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)}