Douglas Creager's profile

2 CSPM to CSP₀ compiler was updated in hst

Douglas Creager commented at 10:04 PM

(from [7ed2249fe1b6063e163cc121b3289f37bfdf5969]) Binding and evaluation now take place in a monad

Once we add process terms to the CSPM language, we'll need a ...

Evaluate process expressions This pa... was committed by Douglas Creager at 11:20 PM

2 CSPM to CSP₀ compiler was updated in hst

Douglas Creager commented at 11:20 PM

(from [06628c3b6114894c0d8cac5a3f5b327a0e922acd]) Evaluate process expressions

This patch introduces initial support for evaluating process expressions into the...
Douglas Creager commented at 11:20 PM

(from [893bd7eea2410221f85d076815f92f677d8c72ae]) Binding and evaluation now take place in a monad

Once we add process terms to the CSPM language, we'll need a ...
Douglas Creager commented at 11:20 PM

(from [6ee10a95b2524c1f021968f4e51d028c206df988]) Initial support for CSP₀ scripts

This patch introduces support for CSP₀ scripts. It has functions for creating...

Binding and evaluation now take place... was committed by Douglas Creager at 11:20 PM

Initial support for CSP₀ scripts Thi... was committed by Douglas Creager at 11:20 PM

Infinite sets This patch introduces ... was committed by Douglas Creager at 3:28 PM

12 ~~Need better representation for sets~~ was updated in hst

Douglas Creager commented at 11:58 PM

(from [667366c6ebf41bc7b5ba2d6923339de02bbc56c9]) New implementation of sets

This patch introduces a new implementation for sets. It's based on the Data.Set sta...