Thursday, 28 February 2019

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

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


No comments:

Post a Comment

How Awful Is the Republican Megabill? Here Are Four of the Worst Parts.

By Jacob S. Hacker and Patrick Sullivan from NYT Opinion https://ift.tt/p8qFrEX via IFTTT