tamarin-prover-utils-0.8.5.0: Utility library for the tamarin prover.

Portabilityportable
MaintainerSimon Meier <[email protected]>
Safe HaskellSafe-Inferred

Text.Unicode

Description

Support functions for exploiting Unicode characters.

Synopsis

Documentation

subscriptChar :: Char -> CharSource

Convert a subscriptable character to its subsript.

subscript :: String -> StringSource

Convert all subscriptable characters to subscripts.