-
Notifications
You must be signed in to change notification settings - Fork 0
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
License
mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
ErrorLooks like something went wrong!
About
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Topics
dependent-types
workshop
first-order-logic
idris
workshop-materials
polymorphic-types
scala3
union-types
phantom-types
typelevel-programming
typed-lambda-calculus
polymorphic-functions
curry-howard-isomorphism
compile-time-meta-programming
dependent-type-theory
path-dependent
scala3-metaprogramming
type-programming
path-dependent-types
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published