Idris-Dokumentation

Alles, was du über die Nutzung von Idris auf Exercism wissen musst.

Entdecke unsere Dokumentation zu Idris und erfahre alles, was du wissen musst, um das Beste aus deiner Zeit mit Idris auf Exercism zu machen: von der Installation von Idris über das Ausführen der Tests und das Lernen der Sprache bis hin zu nützlichen Ressourcen.