https://github.com/dvgica/path-dependent-types

Code for "A Gentle, Practical Introduction to Path-Dependent Types"
https://github.com/dvgica/path-dependent-types

Last synced: about 1 month ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/dvgica/path-dependent-types
• Owner: dvgica
• Created: 2019-04-19T19:47:06.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-05-08T19:43:29.000Z (over 5 years ago)
• Last Synced: 2023-03-24T14:15:21.544Z (almost 2 years ago)
• Language: Scala
• Size: 14.6 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project