After using #idris I see type signatures for what they are: type-level functions
-
-
Replying to @etorreborre
.. I have a serious plan of building a domain model in Idris .. it should be real fun1 reply 0 retweets 9 likes -
Replying to @debasishg
btw the compiler feels a bit slow to me when learning, please tell what it's like on a larger project when you know
1 reply 0 retweets 0 likes
Replying to @etorreborre @debasishg
it is too slow :(. I think there are lots of things we can do to make it more responsive, but other priorities...
11:07 AM - 28 Feb 2017
0 replies
0 retweets
1 like
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.