Hacker News new | ask | show | jobs
by KirinDave 2822 days 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.
1 comments
ernst_klim 2821 days ago
So, why are they not practical in your opinion?
link