Skip to main content
Proof Assistants Beta

All Questions

Ask Question
Tagged with
1 question
Newest Active Bountied Unanswered
6 votes
2 answers
429 views

Possible root cause(s) of the misunderstanding that DTT implies not Turing complete?

I myself have fallen prey to this misconception, i.e., that being dependently typed as in Agda, Coq, etc., implies not being Turing complete, which can be (whether now or previously) found at quite a ...
Municipal-Chinook-7's user avatar
Municipal-Chinook-7
  • 81