type-programming

There are 2 repositories under type-programming topic.

flex-development/tutils
TypeScript-friendly utilities
Language:TypeScript1 3 1
mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Language:Scala1 0