Repository Issues

milessabin/strangeloop-2013

Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013

View on GitHub
Stars
 (11 stars)
Forks
 (1 fork)
Indexed issues
 (0 indexed issues)
open beginner issues
 (0 open beginner issues)
Latest indexed
Jul 28, 2026
Last GitHub push
Sep 20, 2013
License
No license data
Contributing guide
No contributing guide
Code of conduct
No code of conduct
Dominant language
Scala
PR merge metrics
 (PR metrics pending)
Beginner labels
No beginner labels indexed

Issues

0 open indexed issues

RSSAtom

No open indexed issues found for this repository.