Thursday, 28 February 2019

New top story on Hacker News: Alloy*: A Higher-Order Relational Constraint Solver

Alloy*: A Higher-Order Relational Constraint Solver
160 by Cieplak | 9 comments on Hacker News.


No comments:

Post a Comment

Trump’s tax and spending bill passes Congress in major win for president

Early-morning negotiations proved enough to persuade hardline House conservatives to back bill US politics live – latest updates The U...