GitHub - dvgica/path-dependent-types: Code for "A Gentle, Practical Introduction to Path-Dependent Types"

Name	Name	Last commit message	Last commit date
Latest commit David van Geest Add example of render implementation. May 8, 2019 41a413d · May 8, 2019 History 10 Commits
project	project	Better examples.	Apr 19, 2019
src/main	src/main	Add example of render implementation.	May 8, 2019
.gitignore	.gitignore	Better examples.	Apr 19, 2019
.scalafmt.conf	.scalafmt.conf	Tweaks.	Apr 28, 2019
build.sbt	build.sbt	Better examples.	Apr 19, 2019