back to index
view all pages
link to source

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

back to index

Equations Inline Footnotes

module Data.Dec where

Decisions🔗

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