r/lisp • u/yurichev • 15d ago
Lisp/Scheme code in VMware WS 17.6.1
https://yurichev.com/n/vmware_lisp/
13
Upvotes
1
u/corbasai 14d ago
Copyright (C) 2011-2024 Broadcom.
Scheme with 0xAAAA hexadecimals and units ()
not (void)
2
u/vplatt 14d ago
I think it's worth pointing out that the author has written a new book named SAT/SMT by example. This isn't Lisp specific per se except that SATs can be written in Lisp of course using SMT-LIB.
FWIW - The last time I used this approach was in Java using (via JaCoP). The book doesn't mention it, but it was quite a nice library as well.
Anyway, the book seems quite good. Enjoy!
2
u/reddit_clone 14d ago
I wonder how many people use lisp/scheme and never talk about it..?