ts-types-lang (npm): A runtime for typescript's type system that turns it into a general purpose, purely functional programming language with effects!
Keywords: effects|functional-programming|type-level-programming|typescript