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

Portabilityportable
MaintainerSimon Meier <iridcode@gmail.com>
Safe HaskellSafe-Infered

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.