Data.Dec

1Lab
  • Decisions🔗


back to index
view all pages
link to source

Written by Amélia Liao

back to index
module Data.Dec where

Decisions🔗

open import Data.Dec.Base public
open import Data.Dec.Path public