Aspects


vs


Agda

Agda is a dependently typed, total functional programming language and a proof assistant.

Haskell

Haskell is a functional programming language featuring strong static typing, lazy evaluation, extensive parallelism and concurrency support, and unique abstraction capabilities.

Others

Quality Example
More haskell-y

"Coq is probably the most prominent language of the style but agda has a more haskell-y feel as well as being written in haskell itself"

from question "What language to learn after Haskell?"

Back to Home
Data comes from Stack Exchange with CC-BY-SA-3.0