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