typified
An experimental implementation of first class functional types using pure ES at runtime, inspired by Haskell, PureScript and Idris.
An experimental implementation of first class functional types using pure ES at runtime, inspired by Haskell, PureScript and Idris.