plfa/plfa.github.io
@plfaEine Einführung in die Programmiersprachentheorie in Agda
Sterne
1.514
Forks
353
Sprache
Agda
Lizenz
CC-BY-4.0
Letzter Push
vor 7 Tagen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.