Tuesday, January 1, 2019

LVC – Linear Verified Compiler

Article URL: https://www.ps.uni-saarland.de/~sdschn/LVC.html

Comments URL: https://news.ycombinator.com/item?id=18799315

Points: 8

# Comments: 0



from Hacker News: Newest http://bit.ly/2SvQmFg
via IFTTT
at
Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Watch: The moment Trudeau announces he will step down

Trudeau says he intends to resign as party leader and as prime minister after the party selects its next leader. from BBC News https://ift...