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...