Aspects
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?" |