module Calf.Computation.Empty where

open import Calf.Value.Empty public
open import Calf.Computation

0ᶜ : 𝒞
0ᶜ .U = ⊥