Changeset [6ee10a95b2524c1f021968f4e51d028c206df988] by Douglas Creager
Revision 6ee10a95b2524c1f021968f4e51d028c206df988,
committed by Douglas Creager
· September 12th, 2008 @ 12:06 AM
Initial support for CSP₀ scripts
This patch introduces support for CSP₀ scripts. It has functions for creating CSP₀ statements and scripts, but there's no functionality yet for translating CSPM into CSP₀.
Lighthouse: [#2] http://github.com/dcreager/hst/c...
1 changed file
-
M
cspm/src/HST/CSP0/Processes.lhs