3 ms·
Idris or F*? I think they are not practical because compile times end up extremely slow. I think want you want will necessarily have this effect of very slow co
by jackmott 10y ago
Idris or F*?
I think they are not practical because compile times end up extremely slow. I think want you want will necessarily have this effect of very slow compile times.
- indolering 10y agoCame here to suggest Idris, as it compiles to C. F* is still experimental and Idris is just coming up on a RC. They could also drop down into C and manually verify it.