New top story on Hacker News: A Formally Verified Interpreter for a Shell-Like Programming Language
http://ift.tt/2CF6AF7
New top story on Hacker News: A Formally Verified Interpreter for a Shell-Like Programming Language http://ift.tt/2EFHg2o
via IFTTT
New top story on Hacker News: A Formally Verified Interpreter for a Shell-Like Programming Language http://ift.tt/2EFHg2o
via IFTTT
Comments
Post a Comment
Comment here