Agda-2.5.3.20180519: A dependently typed functional programming language and proof assistant
Agda.Interaction.Options.IORefs
Description
Some IORefs to access option values in pure code
Synopsis
data UnicodeOrAscii Source #
In Pretty and String we want to know whether we are allowed to insert unicode characters or not.
Pretty
String
Constructors
unicodeOrAscii :: IORef UnicodeOrAscii Source #