plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Agda.Builtin.Char

Documentation

type T_Char_6 = Char #

d_Char_6 :: a #