Skip to content

v0.1.3.0

v0.1.3.0: Version 0.1.3.0
@mstksg mstksg tagged this 25 Oct 05:44 
*   Added a type and `Universe` for universe disjunction or summing, `:+:`,
    with appropriate `Elem` and `Auto` instances.
*   Added `Universe` instances (and appropriate `Elem` and `Auto` instances)
    for `Proxy` (the null universe) and `Identity`.
*   `Auto` instances for `IsNothing` and `IsLeft`.
Assets 2