Fyi, I've been implementing a library in common lisp using sweet expressions.
It is not quite ready for prime time, but you might find it amusing here: https://github.com/david-a-wheeler/cl-metamath --- David A.Wheeler
------------------------------------------------------------------------------
_______________________________________________ Readable-discuss mailing list Readable-discuss@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/readable-discuss
