mtumilowicz / scala3-dependent-types-polymorphic-functions-workshop Goto Github PK
View Code? Open in Web Editor NEWIntroduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
License: GNU General Public License v3.0