hazelgrove/hazelnut-dynamics-agda

this comment should say boxedval not val

cyrus- opened this issue · 0 comments

cyrus- commented

hazelnut-dynamics-agda/progress.agda

Line 14 in 32b1203

-- d val + d indet + d err[ Δ ] + Σ[ d' ∈ dhexp ] (Δ ⊢ d ↦ d')