I've committed slk.ml which, as the svn log message says, will possibly be the final resting place for our original syntactic monoid based algorithm. Right now the file features comments / documentation for most stuff though the full documentation for the ocaml-specific operation of the algorithm has been left for Dylan to fill in (as he may rework parts of the code before Wednesday afternoon).
Posted by nksmith06 at April 22, 2008 12:07 AM