Code for "A Gentle, Practical Introduction to Path-Dependent Types"
Primary LanguageScala
No issues in this repository yet.