CSPM-Frontend-0.12.1.0: A CSP-M parser compatible with FDR-2.91
Language.CSPM.UnicodeSymbols
Description
Unicode symbols for CPSM operators
unicodeSymbols :: [(Char, PrimToken, String)] Source #
lookupDefaultSymbol :: PrimToken -> Maybe (Char, String) Source #
lookupToken :: Char -> Maybe PrimToken Source #