Use native type-level integers

mikesol / purescript-deku

A PureScript web UI framework

https://purescript-deku.surge.sh/

Apache License 2.0

123 stars 12 forks source link

Use native type-level integers #19

Closed purefunctor closed 2 years ago

purefunctor commented 2 years ago

This updates the code base such that native type-level integers from PureScript v0.15.0 are used. Similarly, this also replaces the sized-vectors package with the fast-vect package.

purefunctor commented 2 years ago

Examples compile fine locally

mikesol commented 2 years ago

Great work!