← Back to context Comment by floxy 19 hours ago Thoughts on Idris? 1 comment floxy Reply wk_end 18 hours ago Idris feels mostly dead to me at this point. Which breaks my heart, because for a split second it had real momentum around it.Not OP, but as Haskell-derived dependently-typed languages Idris and Agda are quite similar, so I suspect if they like one they’d like the other.
wk_end 18 hours ago Idris feels mostly dead to me at this point. Which breaks my heart, because for a split second it had real momentum around it.Not OP, but as Haskell-derived dependently-typed languages Idris and Agda are quite similar, so I suspect if they like one they’d like the other.
Idris feels mostly dead to me at this point. Which breaks my heart, because for a split second it had real momentum around it.
Not OP, but as Haskell-derived dependently-typed languages Idris and Agda are quite similar, so I suspect if they like one they’d like the other.