I hope that one day someone other than me will believe this...https://twitter.com/edwinbrady/status/1265727110036979714 …
-
-
So one day people have basic haskell skills may find Idris easier. Anyway so far I don't think it difficult at all. Besides, it's safe to say some part of idris is simpler, right? Idris codegen is comfortable.
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.