Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Repository from Github https://github.commtumilowicz/scala3-dependent-types-polymorphic-functions-workshopRepository from Github https://github.commtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
