I looked at reddit and found out Idris 2 has all been done before. So that'll save me some time.
-
-
I have some thoughts on the "more widely accessible" front. We should grab a pint sometime :)
-
There's loads to explore here. Always happy to talk about it!
- 1 more reply
New conversation -
-
-
If you can prove something about real numbers and the correspondence (or error) with respect to limited floating point arithmetic, let me know. I've been trying to do this for years. It must be possible. I want to know if it's also practical to do these proofs in idris.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.