Mercurial > hg > Members > atton > agda-proofs

comparison cbc/atton-master-meta-sample.agda @ 76:29a3a4b79d4d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add comment
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Fri, 03 Feb 2017 02:28:46 +0000
parents 79d435b16241
children
comparison
equal deleted inserted replaced
75:79d435b16241 76:29a3a4b79d4d
72 cs0 = N.cs (\d -> N.goto cs1 (record {c = (ds0.a d) + (ds0.b d)})) 72 cs0 = N.cs (\d -> N.goto cs1 (record {c = (ds0.a d) + (ds0.b d)}))
73 73
74 74
75 main : Meta 75 main : Meta
76 main = gotoMeta push cs0 (record {context = (record {a = 100 ; b = 50 ; c = 70}) ; c' = 0 ; next = (N.cs id)}) 76 main = gotoMeta push cs0 (record {context = (record {a = 100 ; b = 50 ; c = 70}) ; c' = 0 ; next = (N.cs id)})
77 -- record {context = record {a = 100 ; b = 50 ; c = 150} ; c' = 70 ; next = (N.cs id)}