Three data types:
λa b → Maybe (Either a b)λa b → Either (Either a b) ((,) a b)akaTheseλa b → Maybe (Either (Either a b) ((,) a b))
-
Notifications
You must be signed in to change notification settings - Fork 0
Maybe (Either a b) ^ Either (Either a b) ((,) a b) ^ Maybe (Either (Either a b) ((,) a b))
License
qfpl/or
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Maybe (Either a b) ^ Either (Either a b) ((,) a b) ^ Maybe (Either (Either a b) ((,) a b))
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published