Just implemented basic proof/program search, from vim. Now my computer writes programs so I don't have to. Hoorah for types!
@EyalL I am still jealous of all that. This is mostly stuff I've had in mind for ages based on what Agda and Epigram can do.
-
-
@edwinbrady we're still hoping we could cooperate with you to coerce Idris to fit Lamdu :) haven't reached out yet but will soon! -
@EyalL That would indeed be a fun thing to do. We have a hackathon soon... :)
End of conversation
New conversation -
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.