Equations Inline Footnotes

module Data.Maybe where

open import Data.Maybe.Base public
open import Data.Maybe.Properties public