Copyright | (c) Fontaine 2011 |
---|---|
License | BSD3 |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | Safe |
Language | Haskell2010 |
The FDR supports some CSPM-built-ins that are NOT part of the CSPM-syntax.
Currently those built-ins are hard-coded in CSPM-Frontend. We use Language.CSPM.BuiltIn as a compatibility layer to migrate to FDR-style built-ins.