purescript-sized-vectors

purescript-sized-vectors copied to clipboard

Since the latest major release, PureScript now has typelevel Integers. This makes the approach used in this library obsolete. I am not sure if it makes sense to update to...

m-bock

Type-safe indexed maps

1

Hi! In one of my projects, I found myself writing this: ```purescript import Data.Typelevel.Num (class Lt, class Nat, class Pos, class Pred, class Sub, class Succ, D0, D1, D2, D3,...

mikesol