type-programming

There are 0 repository under type-programming topic.

flex-development / tutils
TypeScript-friendly utilities
typescript type-definitions typescript-utilities enums interfaces type-guards types type-programming
Language:TypeScript 1
mtumilowicz / scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
curry-howard-isomorphism dependent-type-theory dependent-types phantom-types polymorphic-functions polymorphic-types typelevel-programming workshop workshop-materials compile-time-meta-programming first-order-logic idris path-dependent scala3 scala3-metaprogramming type-programming typed-lambda-calculus union-types path-dependent-types
Language:Scala