marking.agda

module marking where
  open import marking.marking public

  import marking.wellformed
  import marking.totality
  import marking.unicity