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

Portabilityportable
MaintainerSimon Meier <iridcode@gmail.com>
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.