Data.Dec

1Lab

  • Decisions🔗


This page was written by Amélia Liao and Naïm Favier

back to index
module Data.Dec where

Decisions🔗

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