nom-0.1.0.1: Name-binding & alpha-equivalence

Index - I

iactLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
idRenLanguage.Nominal.Unify, Language.Nominal
idTrmLanguage.Nominal.Examples.SystemF
idTrm2Language.Nominal.Examples.SystemF
IEqLanguage.Nominal.Examples.IdealisedEUTxO
imapLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
Input 
1 (Type/Class)Language.Nominal.Examples.IdealisedEUTxO
2 (Data Constructor)Language.Nominal.Examples.IdealisedEUTxO
inputPositionsLanguage.Nominal.Examples.IdealisedEUTxO
inputsOfTxLanguage.Nominal.Examples.IdealisedEUTxO
interleaveLanguage.Nominal.Utilities
iotaLanguage.Nominal.Utilities
iprop_freshen_apartLanguage.Nominal.Properties.NomSpec
iprop_fresh_renLanguage.Nominal.Properties.UnifySpec
iprop_sub_fresh 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
iprop_sub_id 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
iprop_sub_perm 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
iprop_support_nomLanguage.Nominal.Properties.NomSpec
isBlockchainLanguage.Nominal.Examples.IdealisedEUTxO
isBlockchain'Language.Nominal.Examples.IdealisedEUTxO
isChunkLanguage.Nominal.Examples.IdealisedEUTxO
isChunk'Language.Nominal.Examples.IdealisedEUTxO
isJustRenLanguage.Nominal.Unify, Language.Nominal
isNothingRenLanguage.Nominal.Unify, Language.Nominal
isPrefixChunkLanguage.Nominal.Examples.IdealisedEUTxO
isSubsetOfLanguage.Nominal.Utilities
isTrivialNomByEqLanguage.Nominal.Binder, Language.Nominal
isTrivialNomBySuppLanguage.Nominal.Binder, Language.Nominal