Mercurial > hg > Members > atton > agda-proofs

diff cbc/stack-subtype.agda @ 53:6af88ee5c4ca

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Prune level
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Tue, 10 Jan 2017 09:07:07 +0000
parents 4880184e4ab5
children fa95e3070138
line wrap: on
line diff
--- a/cbc/stack-subtype.agda	Tue Jan 10 09:04:55 2017 +0000
+++ b/cbc/stack-subtype.agda	Tue Jan 10 09:07:07 2017 +0000
@@ -30,8 +30,8 @@
 open import subtype Context
 
 instance
-  yo : DataSegment Context
-  yo = record {get = (\x -> x) ; set = (\_ c -> c)}
+  ContextIsDataSegment : DataSegment Context
+  ContextIsDataSegment = record {get = (\x -> x) ; set = (\_ c -> c)}