@hackage CSPM-Interpreter0.4.0.2
An interpreter for CSPM
Categories
License
BSD-3-Clause
Maintainer
Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (7)
- CSPM-CoreLanguage >=0.1 && <0.2
- CSPM-Frontend >=0.4 && <0.5
- array >=0.3 && <0.4
- base >=4.0 && <5.0
- containers >=0.3 && <0.4
- mtl >=1.1 && <1.2 Show all…
Dependents (2)
@hackage/CSPM-cspm, @hackage/acme-everything
This package contains an interpreter for CSPM
and instance declarations that implement the interface defined in
the package CSPM-CoreLanguage.
All type family instances that belong to this implementation
are indexed with the phantom-type INT (INT == interpreter).
The operational semantics of core-CSP is defined in the CSPM-FiringRules package.