search

tomgr / libcspm

The library FDR3 uses for parsing, type checking and evaluating machine CSP.
https://www.cs.ox.ac.uk/projects/fdr/
Other
30 stars 6 forks source link

Feature/lazy compile #12

Closed sashabu closed 2 years ago

tomgr commented 9 years ago

I think we should keep this in a branch for now, rather than merging. Otherwise we will be exposing a function that has no implementation!

sashabu commented 9 years ago

Of course! I must have clicked a wrong button.