Re: Guile Steel: a proposal for a systems lisp

Have you seen loko scheme? https://scheme.fail/ It might be interesting and a source of inspiration. I had a peek at how it implemented some drives , looks straight forward enough. On 7/9/22 17:35, Christine Lemmer-Webber wrote: A

Developing reusable libraries for computation tree logic?

Hello, It was demonstrated for some years what can be achieved also by the means of the technology “computation tree logic with variables and witnesses”. Will development interests eventually grow for the construction of reusable libraries according to affected software areas?

Re: Guile Steel: a proposal for a systems lisp

Christine Lemmer-Webber writes: > A little blogpost this morning, not actual software, but software > desiderata: > https://dustycloud.org/blog/guile-steel-proposal/ > > I'd love to see something like the above happen. I'd love to help make > it happen. So this is more of a call to arms