prakaar (npm): A type programming language
Keywords: type-level|type-level-programming|typescript