Just implemented basic proof/program search, from vim. Now my computer writes programs so I don't have to. Hoorah for types!
-
-
Replying to @edwinbrady
@edwinbrady sounds great! does this have anything to do with our chat in ifl13? :)1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady we're still hoping we could cooperate with you to coerce Idris to fit Lamdu :) haven't reached out yet but will soon!2 replies 0 retweets 0 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.