RT @atombeast: Cryptol 2.5.0 has been released! Major improvements to the interpreter and type checker. https://github.com/GaloisInc/cryptol/releases/tag/2.5.0 …
4:09 PM - 25 Jul 2017
from Paris, France
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.