News for hackers. Stuff that matters.

A comment on Ultralisp: A fast-moving Common Lisp software distribution. Parent comment

Re:Ultralisp: A fast-moving Common Lisp software distribution by slaymaker1907 on Sunday June 16, 2019 @07:13PM (#20198542)
Racket in particular has one of the easiest ways to use an SMT solver via Rosette (also super easy to install).
[ Parent | on HN ]

There are no comments on this comment yet.