icfp18-tutorial

Materials related to the tutorial on Cedille at ICFP '18

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
cdle-and-cedille		cdle-and-cedille
interactive-commands-and-elaboration		interactive-commands-and-elaboration
lab		lab
spine-local-type-inference		spine-local-type-inference
.gitignore		.gitignore
README.md		README.md

Navigation Menu