Add Type.Data.Ordering; Reexport Data.Symbols, Type.Equality

purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming

BSD 3-Clause "New" or "Revised" License

63 stars 21 forks source link

Closed LiamGoodacre closed 7 years ago

LiamGoodacre commented 7 years ago

(Note: this obviously this won't compile with the latest release: https://github.com/purescript/purescript/pull/2486)

paf31 commented 7 years ago

I'll merge this and add a comment on the README, explaining the status of the library.