Mercurial > hg > Members > atton > agda-proofs

comparison 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
comparison
equal deleted inserted replaced
52:4880184e4ab5 53:6af88ee5c4ca
28 n : ℕ 28 n : ℕ
29 29
30 open import subtype Context 30 open import subtype Context
31 31
32 instance 32 instance
33 yo : DataSegment Context 33 ContextIsDataSegment : DataSegment Context
34 yo = record {get = (\x -> x) ; set = (\_ c -> c)} 34 ContextIsDataSegment = record {get = (\x -> x) ; set = (\_ c -> c)}
35 35
36 36
37 37
38 -- definition based from Gears(209:5708390a9d88) src/parallel_execution 38 -- definition based from Gears(209:5708390a9d88) src/parallel_execution
39 39