5 ms·
F* and Idris are precisely the ones I had in mind, although I guess you could make an argument for Agda. What did you think I was imagining? I can only name 5
by KirinDave 8y ago
F* and Idris are precisely the ones I had in mind, although I guess you could make an argument for Agda.
What did you think I was imagining? I can only name 5 DT languages off the top of my head.
- ernst_klim 8y agoSo, why are they not practical in your opinion?