Als «agda» getaggte Fragen

164
Unterschiede zwischen Agda und Idris

Ich fange an, mich mit abhängiger Programmierung zu beschäftigen, und habe festgestellt, dass die Sprachen Agda und Idris Haskell am nächsten kommen, also habe ich dort angefangen. Meine Frage ist: Was sind die Hauptunterschiede zwischen ihnen? Sind die Typsysteme in beiden gleichermaßen...