If i want to do a proof for a paper in a dependent functional language, but i want to edit in vim, should i use Agda or Idris?
-
-
Agda in vim is not a thing. Unless it is now.
1 reply 0 retweets 0 likes
I do Idris in vim, but it is still little more than a cheap hack I did a couple of years ago. Does work though, mostly...
4:23 PM - 1 Jun 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.