idris-lang/Idris2
@idris-langEine rein funktionale Programmiersprache mit Typen erster Klasse
Sterne
3.049
Forks
418
Sprache
Idris
Lizenz
NOASSERTION
Letzter Push
vor 2 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.