Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: