2
Differenze tra Agda e Idris
Sto iniziando ad immergermi nella programmazione tipicamente dipendente e ho scoperto che i linguaggi Agda e Idris sono i più vicini a Haskell, quindi ho iniziato da lì. La mia domanda è: quali sono le principali differenze tra loro? I sistemi di tipi sono ugualmente espressivi in entrambi? Sarebbe bello …
165
agda
type-theory
idris