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

Auf GitHub ansehen
Stars
 (11 Sterne)
Forks
 (1 Fork)
Indexierte Issues
 (0 indexierte Issues)
offene Einsteiger-Issues
 (0 offene Einsteiger-Issues)
Zuletzt indexiert
18.08.2026
Letzter GitHub Push
20.09.2013
Lizenz
Keine Lizenzdaten
Contributing Guide
Kein Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
Scala
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)
Einsteiger-Labels
Keine Einsteiger-Labels indexiert

Issues

0 offene indexierte Issues

Für dieses Repository wurden keine offenen indexierten Issues gefunden.