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

github.com/Wildhoney/Typified

Problem

Audience

Updates

No founder updates yet. Check back soon.