Mercurial > hg > Papers > 2020 > ryokka-master

view paper/src/AgdaStackDS.agda.replaced @ 2:c7acb9211784

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add code, figure. and paper fix content
author ryokka
date Mon, 27 Jan 2020 20:41:36 +0900
parents
children 196ba119ca89
line wrap: on
line source

record Context : Set where
  field
    -- fields for stack
    element : Maybe A


open import subtype Context as N

record Meta  : Set@$\text{1}$@ where
  field
    -- context as set of data segments
    context : Context
    stack   : SingleLinkedStack A
    nextCS  : N.CodeSegment Context Context

open import subtype Meta as M