GitHub topics: type-programming
mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Language: Scala - Size: 324 KB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
flex-development/tutils
TypeScript-friendly utilities
Language: TypeScript - Size: 9.43 MB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
Related Keywords
type-programming
2
typescript-utilities
1
typescript
1
types
1
type-guards
1
type-definitions
1
interfaces
1
enums
1
workshop-materials
1
workshop
1
union-types
1
typelevel-programming
1
typed-lambda-calculus
1
scala3-metaprogramming
1
scala3
1
polymorphic-types
1
polymorphic-functions
1
phantom-types
1
path-dependent-types
1
path-dependent
1
idris
1
first-order-logic
1
dependent-types
1
dependent-type-theory
1
curry-howard-isomorphism
1
compile-time-meta-programming
1