https://github.com/lastland/dtscala

Dependent Types in Scala
https://github.com/lastland/dtscala

Last synced: 26 days ago
JSON representation

Dependent Types in Scala

• Host: GitHub
• URL: https://github.com/lastland/dtscala
• Owner: lastland
• Created: 2016-11-25T02:03:46.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-10-11T03:15:24.000Z (about 7 years ago)
• Last Synced: 2023-03-12T03:37:13.978Z (over 1 year ago)
• Language: Scala
• Size: 338 KB
• Stars: 5
• Watchers: 2
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project