← Back to context

Comment by ecshafer

6 hours ago

I worked through the little scheme but not the little prover, I think Ill take a look at that. Thanks.

One can of course add the same stuff to other languages in form of libraries and stuff, but lisp/scheme make it incredibly easy to make it look like part of the language itself and make seem a mere extension of the language. So you can have both worlds if you want to. Lisp/scheme is not dead.

In fact, in recent years people have started contributing again and are rediscovering the merits.