Giters

dvgica / path-dependent-types

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

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

Languages

Language:Scala 94.1%Language:Java 5.9%