All Versions
4
Latest Version
Avg Release Cycle
-
Latest Release
-

Changelog History

  • v0.1.3 Changes

    • 👍 Allow vec-0.3
    • ➕ Add instances for ral and bin types.

  • v0.1.2 Changes

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

  • v0.1.1 Changes

    • ➕ Add GHC.Generics instances
    • ➕ Add :~~: and Coercion instances

  • v0.1 Changes

    • streams, constraints, generics-sop instances.
    • Reversed dependency with vec, add fin instances.