Data.Sum

1Lab
  • Sum types🔗
This page was 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