-
-
Replying to @puffnfresh
@puffnfresh The last time I looked, Idris tooling was still catching up to Agda. What changed?2 replies 0 retweets 0 likes -
Replying to @andreasdotorg
@andreasdotorg the mode is now as capable for everything I used Agda's for. The output backends and REPL is where#Idris does much better.1 reply 0 retweets 2 likes -
Replying to @puffnfresh
@puffnfresh Maybe time then to have another look at Idris. Any reason you prefer Agda?1 reply 0 retweets 0 likes -
Replying to @andreasdotorg
@andreasdotorg codata works much better (could say also a tooling problem) and universe polymorphism (think it's better learning/teaching)1 reply 0 retweets 1 like
Replying to @puffnfresh
@puffnfresh I'm working on codata now (mostly because I'm using it). Thinking of switching to universe polymorphism too. @andreasdotorg
8:28 AM - 17 Feb 2015
0 replies
4 retweets
5 likes
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.