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

MAlonzo.Code.Agda.Builtin.IO

Documentation

type AgdaIO a b = IO b Source #

type T_IO_8 a0 a1 = AgdaIO a0 a1 Source #

d_IO_8 ∷ a Source #