“Haskell.” “Idris.” “Coq.” “Checkmate.”
Replying to @peterseibel
@peterseibel @slyphon miniKanren!
1:23 PM - 19 Feb 2015
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.