News for hackers. Stuff that matters.

A comment on Rosette – A solver-aided programming language that extends Racket.

Re:Rosette – A solver-aided programming language that extend... by peternicky on Sunday June 04, 2017 @02:07PM (#14482662)
Great stuff, love the names for some of the applications, especially Bagpipe.
[ Parent | on HN ]

There are no comments on this comment yet.