dvgica/path-dependent-types

Code for "A Gentle, Practical Introduction to Path-Dependent Types"

Scala