Automated reasoning in F#, Scala, Haskell, C++, and Julia http://phdp.github.io/posts/2015-04-05-automated-reasoning.html … via @phdpqc
7:54 AM - 3 Aug 2015
0 replies
0 retweets
2 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.