Data.Sum

1Lab
  • Sum Types🔗


back to index
view all pages
link to source

Written by Amélia Liao, Reed Mullanix and uni

back to index
module Data.Sum where

Sum Types🔗

open import Data.Sum.Properties public
open import Data.Sum.Base public