All Versions
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.