Lecture 23
Linear Monadic Logic Programming

Sample code to illustrate linear monad logic programming
using the LolliMon language.  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
gm-bipartite.lo      -- bipartitness checking for graphs
live.lo              -- liveness analysis
mcallester-cky.lo    -- CKY parsing