Lecture 25
Substructural operational semantics

Code to implement substructural operational semantics
in linear destination-passing style in LolliMon
See the LolliMon distribution at
    http://www.cs.cmu.edu/~fp/lollimon/
for more information on syntax, etc.  The readme file for
LolliMon is also copied here.

readme-lollimon.txt  -- readme file explaining LolliMon syntax
cbv.lo               -- call-by-value, pure and with mutable storage
callcc.lo            -- call-by-value, pure, with storage, and with callcc