Alloy*: A Higher-Order Relational Constraint Solver

Article URL: https://aleksandarmilicevic.github.io/hola/

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

Points: 157

# Comments: 9

from Hacker News: Front Page https://ift.tt/2IET6Qc
via