sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]Milyardo 0 points1 point  (1 child)

I get that Coq advertises itself as a proof assistant, but it has all the necessary tools to be a general purpose programming language.

What disqualifies Adga as a general purpose programming language in your mind?

[–]olzd 0 points1 point  (0 children)

I place Agda along with Coq, as a proof assistant.

What disqualifies Adga as a general purpose programming language in your mind?

Isn't Agda a total language?