This site may become many things, but for now it serves mainly to host an implementation of SETL.

I have also posted here a few items in memory of Jen Stark.


       dB