« Changelog History


boring v0.1.2 Release Notes

    • ➕ Add instances for 'Boring' instances for 'SBool', 'SNat' and 'LE'.
    • ➕ Add 'Boring (Dec a)', 'boringYes' and 'boringNo'.