5 ms·
>only two implementations exist that are anywhere near "practical" Out of curiosity, why F* or Idris are not practical?
by ernst_klim 8y ago
>only two implementations exist that are anywhere near "practical"
Out of curiosity, why F* or Idris are not practical?
- KirinDave 8y agoF* 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?