Skip to content

Instantly share code, notes, and snippets.

@peterbb
Created June 27, 2014 19:09
Show Gist options
  • Save peterbb/c01f72a6cc9c29ea561c to your computer and use it in GitHub Desktop.
Save peterbb/c01f72a6cc9c29ea561c to your computer and use it in GitHub Desktop.
record Snapshot Θ a : Set where
constructor snapshot
field
{Δ} : StackType
stack : Stack Δ
{Γ} : Cxt
environment : Env Γ
control : Control Γ (Θ ++ Δ) (a ∷ [])
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment