purescript-purescript
September 9, 2020 ยท View on GitHub
A PureScript-to-PureScript-types compiler.
Why?
Typelevel programming is tedious. Writing PureScript is not. The ambition of this library is to transpile PureScript to typelevel logic.
September 9, 2020 ยท View on GitHub
A PureScript-to-PureScript-types compiler.
Typelevel programming is tedious. Writing PureScript is not. The ambition of this library is to transpile PureScript to typelevel logic.