| $$ | Language.Nominal.Equivar, Language.Nominal |
| +<< | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| .: | Language.Nominal.Utilities |
| :-> | Language.Nominal.Examples.SystemF |
| :@ | Language.Nominal.Examples.UntypedLambda |
| :@> | Language.Nominal.Abs, Language.Nominal |
| :@@! | Language.Nominal.Binder, Language.Nominal |
| >>+ | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| @. | Language.Nominal.Examples.SystemF |
| @: | Language.Nominal.Examples.SystemF |
| @> | Language.Nominal.Binder, Language.Nominal |
| @@ | Language.Nominal.Binder, Language.Nominal |
| @@! | Language.Nominal.Binder, Language.Nominal |
| @@. | Language.Nominal.Binder, Language.Nominal |
| Abs | Language.Nominal.Abs, Language.Nominal |
| absFresh | Language.Nominal.Abs, Language.Nominal |
| absFresh' | Language.Nominal.Abs, Language.Nominal |
| absFuncOut | Language.Nominal.Abs, Language.Nominal |
| absLabel | Language.Nominal.Abs, Language.Nominal |
| abst | Language.Nominal.Abs, Language.Nominal |
| abst' | Language.Nominal.Abs, Language.Nominal |
| absToNom | Language.Nominal.Abs, Language.Nominal |
| Add | |
| 1 (Data Constructor) | Language.Nominal.Examples.Assembly2 |
| 2 (Data Constructor) | Language.Nominal.Examples.Assembly1 |
| All | Language.Nominal.Examples.SystemF |
| apart | Language.Nominal.NameSet, Language.Nominal |
| App | Language.Nominal.Examples.SystemF |
| appendTxChunk | Language.Nominal.Examples.IdealisedEUTxO |
| appendTxMaybeChunk | Language.Nominal.Examples.IdealisedEUTxO |
| arbitrarySizedTrm | Language.Nominal.Properties.SpecUtilities |
| arbitrarySizedTyp | Language.Nominal.Properties.SpecUtilities |
| Atom | |
| 1 (Type/Class) | Language.Nominal.Name, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Name, Language.Nominal |
| atomPoint | Language.Nominal.NameSet, Language.Nominal |
| ATrm | Language.Nominal.Examples.SystemF |
| atTom | Language.Nominal.Name, Language.Nominal |
| atValFin | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| atValTriv | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| ATyp | Language.Nominal.Examples.SystemF |
| badEq | Language.Nominal.Examples.Style |
| badRestrict | Language.Nominal.Examples.Style |
| bad_countBinding | Language.Nominal.Examples.Style |
| bad_countOrder | Language.Nominal.Examples.Style |
| Binder | Language.Nominal.Binder, Language.Nominal |
| BinderConc | Language.Nominal.Binder, Language.Nominal |
| BinderSupp | |
| 1 (Type/Class) | Language.Nominal.Binder, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Binder, Language.Nominal |
| binderToNom | Language.Nominal.Binder, Language.Nominal |
| Blockchain | Language.Nominal.Examples.IdealisedEUTxO |
| blockchain | Language.Nominal.Examples.IdealisedEUTxO |
| chain | Language.Nominal.Utilities |
| Chunk | |
| 1 (Type/Class) | Language.Nominal.Examples.IdealisedEUTxO |
| 2 (Data Constructor) | Language.Nominal.Examples.IdealisedEUTxO |
| chunkBindingOK | Language.Nominal.Examples.IdealisedEUTxO |
| chunkHead | Language.Nominal.Examples.IdealisedEUTxO |
| chunkLength | Language.Nominal.Examples.IdealisedEUTxO |
| chunkTail | Language.Nominal.Examples.IdealisedEUTxO |
| chunkTakeEnd | Language.Nominal.Examples.IdealisedEUTxO |
| chunkToHdHdTl | Language.Nominal.Examples.IdealisedEUTxO |
| chunkToHdTl | Language.Nominal.Examples.IdealisedEUTxO |
| chunkToTxList | Language.Nominal.Examples.IdealisedEUTxO |
| chunkValidatorsOK | Language.Nominal.Examples.IdealisedEUTxO |
| church | Language.Nominal.Examples.SystemF |
| cnoc | Language.Nominal.Binder, Language.Nominal |
| conc | Language.Nominal.Binder, Language.Nominal.Abs, Language.Nominal |
| concatChunk | Language.Nominal.Examples.IdealisedEUTxO |
| Connect | Language.Nominal.Examples.Graph |
| constEvFinMap | Language.Nominal.Equivar, Language.Nominal |
| Context | Language.Nominal.Examples.IdealisedEUTxO |
| contextPos | Language.Nominal.Examples.IdealisedEUTxO |
| contextsOfTx | Language.Nominal.Examples.IdealisedEUTxO |
| CVal | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| deBruijn1 | Language.Nominal.Properties.NomSpec |
| deBruijn2 | Language.Nominal.Properties.NomSpec |
| deBruijnAcc | Language.Nominal.Properties.NomSpec |
| Empty | Language.Nominal.Examples.Graph |
| enter | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| equivChunk | Language.Nominal.Examples.IdealisedEUTxO |
| evalOperand | |
| 1 (Function) | Language.Nominal.Examples.Assembly2 |
| 2 (Function) | Language.Nominal.Examples.Assembly1 |
| evalProg | |
| 1 (Function) | Language.Nominal.Examples.Assembly2 |
| 2 (Function) | Language.Nominal.Examples.Assembly1 |
| EvFinMap | Language.Nominal.Equivar, Language.Nominal |
| evFinMap | Language.Nominal.Equivar, Language.Nominal |
| EvFun | |
| 1 (Type/Class) | Language.Nominal.Equivar, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Equivar, Language.Nominal |
| evIsPrefix | Language.Nominal.Unify, Language.Nominal |
| evLookup | Language.Nominal.Equivar, Language.Nominal |
| evLookupList | Language.Nominal.Equivar, Language.Nominal |
| evNub | Language.Nominal.Equivar, Language.Nominal |
| evPrefixRen | Language.Nominal.Unify, Language.Nominal |
| evRep | Language.Nominal.Equivar, Language.Nominal |
| example1 | |
| 1 (Function) | Language.Nominal.Examples.UntypedLambda |
| 2 (Function) | Language.Nominal.Examples.Assembly2 |
| 3 (Function) | Language.Nominal.Examples.Assembly1 |
| example1eval | |
| 1 (Function) | Language.Nominal.Examples.Assembly2 |
| 2 (Function) | Language.Nominal.Examples.Assembly1 |
| example1whnf | Language.Nominal.Examples.UntypedLambda |
| example2 | Language.Nominal.Examples.UntypedLambda |
| example2whnf | Language.Nominal.Examples.UntypedLambda |
| exampleCh0 | Language.Nominal.Examples.IdealisedEUTxO |
| exampleCh1 | Language.Nominal.Examples.IdealisedEUTxO |
| exampleCh12 | Language.Nominal.Examples.IdealisedEUTxO |
| exampleCh12' | Language.Nominal.Examples.IdealisedEUTxO |
| exampleCh2 | Language.Nominal.Examples.IdealisedEUTxO |
| exampleCh21 | Language.Nominal.Examples.IdealisedEUTxO |
| exit | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| exitWith | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| Exp | Language.Nominal.Examples.UntypedLambda |
| extEvFinMap | Language.Nominal.Equivar, Language.Nominal |
| filterApart | Language.Nominal.Examples.Graph |
| Fixable | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| fixChunkToBlockchain | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| fixOutput | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| foldg | Language.Nominal.Examples.Graph |
| freshAtom | Language.Nominal.Nom, Language.Nominal |
| freshAtomIO | Language.Nominal.Name, Language.Nominal |
| freshAtoms | Language.Nominal.Nom, Language.Nominal |
| freshAtomsIO | Language.Nominal.Name, Language.Nominal |
| freshen | Language.Nominal.Binder, Language.Nominal |
| freshFor | Language.Nominal.Binder, Language.Nominal |
| freshForA | Language.Nominal.Binder, Language.Nominal |
| freshKAtom | Language.Nominal.Nom, Language.Nominal |
| freshKAtomIO | Language.Nominal.Name, Language.Nominal |
| freshKAtoms | Language.Nominal.Nom, Language.Nominal |
| freshKAtomsIO | Language.Nominal.Name, Language.Nominal |
| freshKName | Language.Nominal.Nom, Language.Nominal |
| freshKNameIO | Language.Nominal.Nom, Language.Nominal |
| freshKNames | Language.Nominal.Nom, Language.Nominal |
| freshKNamesIO | Language.Nominal.Nom, Language.Nominal |
| freshName | Language.Nominal.Nom, Language.Nominal |
| freshNameIO | Language.Nominal.Nom, Language.Nominal |
| freshNames | Language.Nominal.Nom, Language.Nominal |
| freshNamesIO | Language.Nominal.Nom, Language.Nominal |
| fromEvFinMap | Language.Nominal.Equivar, Language.Nominal |
| fromValidTx | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| fuse | Language.Nominal.Abs, Language.Nominal |
| genApp | Language.Nominal.Binder, Language.Nominal |
| genAppC | Language.Nominal.Binder, Language.Nominal |
| genChunkTail | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| genEvFinMap | Language.Nominal.Properties.SpecUtilities |
| genUnNomChunk | Language.Nominal.Examples.IdealisedEUTxO |
| getBinderSupp | Language.Nominal.Binder, Language.Nominal |
| getBlockchain | Language.Nominal.Examples.IdealisedEUTxO |
| getNameless | Language.Nominal.Name, Language.Nominal |
| getNom | Language.Nominal.Nom, Language.Nominal |
| getRes | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| getSwp | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| Graph | Language.Nominal.Examples.Graph |
| hashUnique | Language.Nominal.Unique |
| HasInputPositions | Language.Nominal.Examples.IdealisedEUTxO |
| HasOutputPositions | Language.Nominal.Examples.IdealisedEUTxO |
| iact | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| idRen | Language.Nominal.Unify, Language.Nominal |
| idTrm | Language.Nominal.Examples.SystemF |
| idTrm2 | Language.Nominal.Examples.SystemF |
| IEq | Language.Nominal.Examples.IdealisedEUTxO |
| imap | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| Input | |
| 1 (Type/Class) | Language.Nominal.Examples.IdealisedEUTxO |
| 2 (Data Constructor) | Language.Nominal.Examples.IdealisedEUTxO |
| inputPositions | Language.Nominal.Examples.IdealisedEUTxO |
| inputsOfTx | Language.Nominal.Examples.IdealisedEUTxO |
| interleave | Language.Nominal.Utilities |
| iota | Language.Nominal.Utilities |
| iprop_freshen_apart | Language.Nominal.Properties.NomSpec |
| iprop_fresh_ren | Language.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_nom | Language.Nominal.Properties.NomSpec |
| isBlockchain | Language.Nominal.Examples.IdealisedEUTxO |
| isBlockchain' | Language.Nominal.Examples.IdealisedEUTxO |
| isChunk | Language.Nominal.Examples.IdealisedEUTxO |
| isChunk' | Language.Nominal.Examples.IdealisedEUTxO |
| isJustRen | Language.Nominal.Unify, Language.Nominal |
| isNothingRen | Language.Nominal.Unify, Language.Nominal |
| isPrefixChunk | Language.Nominal.Examples.IdealisedEUTxO |
| isSubsetOf | Language.Nominal.Utilities |
| isTrivialNomByEq | Language.Nominal.Binder, Language.Nominal |
| isTrivialNomBySupp | Language.Nominal.Binder, Language.Nominal |
| justALabel | Language.Nominal.Name, Language.Nominal |
| justAnAtom | Language.Nominal.Name, Language.Nominal |
| KAbs | Language.Nominal.Abs, Language.Nominal |
| kapart | Language.Nominal.NameSet, Language.Nominal |
| KAtom | Language.Nominal.Name, Language.Nominal |
| kbinderToNom | Language.Nominal.Binder, Language.Nominal |
| KEvFinMap | Language.Nominal.Equivar, Language.Nominal |
| KEvFun | Language.Nominal.Equivar, Language.Nominal |
| kevIsPrefix | Language.Nominal.Unify, Language.Nominal |
| kevLookup | Language.Nominal.Equivar, Language.Nominal |
| kevLookupList | Language.Nominal.Equivar, Language.Nominal |
| kevLookupList' | Language.Nominal.Equivar, Language.Nominal |
| kevNub | Language.Nominal.Equivar, Language.Nominal |
| kevPrefixRen | Language.Nominal.Unify, Language.Nominal |
| kevRep | Language.Nominal.Equivar, Language.Nominal |
| kfreshen | Language.Nominal.Binder, Language.Nominal |
| KName | Language.Nominal.Name, Language.Nominal |
| KNom | Language.Nominal.Nom, Language.Nominal |
| knomToBinder | Language.Nominal.Binder, Language.Nominal |
| knomToMaybeBinder | Language.Nominal.Binder, Language.Nominal |
| KPerm | Language.Nominal.Name, Language.Nominal |
| KRen | Language.Nominal.Unify, Language.Nominal |
| kres | Language.Nominal.Nom, Language.Nominal |
| KRestrict | Language.Nominal.NameSet, Language.Nominal |
| KSub | Language.Nominal.Sub, Language.Nominal |
| ksupp | Language.Nominal.NameSet, Language.Nominal |
| KSupport | Language.Nominal.NameSet, Language.Nominal |
| kswp | Language.Nominal.Name, Language.Nominal |
| kswpN | Language.Nominal.Name, Language.Nominal |
| kunifiablePerm | Language.Nominal.Unify, Language.Nominal |
| KUnifyPerm | Language.Nominal.Unify, Language.Nominal |
| kunifyPerm | Language.Nominal.Unify, Language.Nominal |
| Lam | |
| 1 (Data Constructor) | Language.Nominal.Examples.UntypedLambda |
| 2 (Data Constructor) | Language.Nominal.Examples.SystemF |
| lam | |
| 1 (Function) | Language.Nominal.Examples.UntypedLambda |
| 2 (Function) | Language.Nominal.Examples.SystemF |
| Lit | |
| 1 (Data Constructor) | Language.Nominal.Examples.Assembly2 |
| 2 (Data Constructor) | Language.Nominal.Examples.Assembly1 |
| myatomnames | Language.Nominal.Properties.SpecUtilities |
| myAtoms | Language.Nominal.Properties.SpecUtilities |
| MyName | Language.Nominal.Examples.Tutorial |
| MyNameLabel | Language.Nominal.Examples.Tutorial |
| myUniques | Language.Nominal.Properties.SpecUtilities |
| Name | |
| 1 (Type/Class) | Language.Nominal.Name, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Name, Language.Nominal |
| nameAtom | Language.Nominal.Name, Language.Nominal |
| nameLabel | Language.Nominal.Name, Language.Nominal |
| Nameless | |
| 1 (Type/Class) | Language.Nominal.Name, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Name, Language.Nominal |
| namePoint | Language.Nominal.NameSet, Language.Nominal |
| nat | Language.Nominal.Examples.SystemF |
| new | Language.Nominal.Binder, Language.Nominal |
| newA | Language.Nominal.Binder, Language.Nominal |
| newUnique | Language.Nominal.Unique |
| nf | Language.Nominal.Examples.SystemF |
| nf' | Language.Nominal.Examples.SystemF |
| Nom | |
| 1 (Type/Class) | Language.Nominal.Nom, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Nom, Language.Nominal |
| nomApp | Language.Nominal.Binder, Language.Nominal |
| nomAppC | Language.Nominal.Binder, Language.Nominal |
| nomToAbs | Language.Nominal.Abs, Language.Nominal |
| nomToBinder | Language.Nominal.Binder, Language.Nominal |
| nomToIO | Language.Nominal.Nom, Language.Nominal |
| nomToMaybeBinder | Language.Nominal.Binder, Language.Nominal |
| nomTxListToChunk | Language.Nominal.Examples.IdealisedEUTxO |
| nomTxListToNomChunk | Language.Nominal.Examples.IdealisedEUTxO |
| normalisable | Language.Nominal.Examples.SystemF |
| normaliseProg | Language.Nominal.Examples.Assembly2 |
| nothingRen | Language.Nominal.Unify, Language.Nominal |
| NTrm | Language.Nominal.Examples.SystemF |
| NTrmLabel | Language.Nominal.Examples.SystemF |
| NTyp | Language.Nominal.Examples.SystemF |
| NTypLabel | Language.Nominal.Examples.SystemF |
| observe | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| okRestrict | Language.Nominal.Examples.Style |
| one | Language.Nominal.Examples.SystemF |
| Operand | |
| 1 (Type/Class) | Language.Nominal.Examples.Assembly2 |
| 2 (Type/Class) | Language.Nominal.Examples.Assembly1 |
| Output | |
| 1 (Type/Class) | Language.Nominal.Examples.IdealisedEUTxO |
| 2 (Data Constructor) | Language.Nominal.Examples.IdealisedEUTxO |
| outputPositions | Language.Nominal.Examples.IdealisedEUTxO |
| outputsOfTx | Language.Nominal.Examples.IdealisedEUTxO |
| Overlay | Language.Nominal.Examples.Graph |
| pami | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| Perm | Language.Nominal.Name, Language.Nominal |
| perm | Language.Nominal.Name, Language.Nominal |
| point | Language.Nominal.Utilities |
| Position | Language.Nominal.Examples.IdealisedEUTxO |
| PP | Language.Nominal.Examples.SystemF |
| pp | Language.Nominal.Examples.SystemF |
| ppp | Language.Nominal.Examples.SystemF |
| Prog | |
| 1 (Type/Class) | Language.Nominal.Examples.Assembly2 |
| 2 (Type/Class) | Language.Nominal.Examples.Assembly1 |
| prop_Abs_alpha | Language.Nominal.Properties.AbsSpec |
| prop_Abs_Conc | Language.Nominal.Properties.AbsSpec |
| prop_abs_to_nom | Language.Nominal.Properties.AbsSpec |
| prop_all_typeable | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_apart_is_valid_ch | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_apart_is_valid_tx | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_app_id | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_arbitraryBlockchainIsValid | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_arbitraryChunkEqCheck | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_arbitraryChunkIsValid | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_arbitraryChunkIsValid' | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_arbitraryTxIsValid | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_atomssq_orbit | Language.Nominal.Properties.EquivarSpec |
| prop_atoms_one_orbit | Language.Nominal.Properties.EquivarSpec |
| prop_blockchainHasNoUTxIs | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_blockchainToChunkAndBack | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_chunkHdTl_recombine | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_chunkHead_chunkTail_recombine | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_chunkneq | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_chunkrefl | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_chunkTail_is_chunk | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_chunkTail_is_prefix | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_chunkTail_is_prefix_gotcha | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_chunk_apart_commutes | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_church_numerals0 | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_church_numerals1 | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_church_numerals_type | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_Conc_Abs | Language.Nominal.Properties.AbsSpec |
| prop_Conc_Abs_swap | Language.Nominal.Properties.AbsSpec |
| prop_doubleswap | Language.Nominal.Properties.NameSpec |
| prop_doubleswap_fresh | Language.Nominal.Properties.NameSpec |
| prop_doubleswap_fresh' | Language.Nominal.Properties.NameSpec |
| prop_emptyIsPrefix | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_freshen_apart_atmlist | Language.Nominal.Properties.NomSpec |
| prop_freshen_apart_disjoint | Language.Nominal.Properties.NomSpec |
| prop_freshen_apart_nom_atmlist | Language.Nominal.Properties.NomSpec |
| prop_freshFor1 | Language.Nominal.Properties.NomSpec |
| prop_freshFor2 | Language.Nominal.Properties.NomSpec |
| prop_freshFor_notElem | Language.Nominal.Properties.NomSpec |
| prop_freshswap | Language.Nominal.Properties.NameSpec |
| prop_fresh_eq | Language.Nominal.Properties.NomSpec |
| prop_fresh_neq | Language.Nominal.Properties.NomSpec |
| prop_fresh_neq' | Language.Nominal.Properties.NomSpec |
| prop_fresh_neq'' | Language.Nominal.Properties.NomSpec |
| prop_fresh_ren_absatmlist | Language.Nominal.Properties.UnifySpec |
| prop_fresh_ren_atmlistlist | Language.Nominal.Properties.UnifySpec |
| prop_fuse | Language.Nominal.Properties.AbsSpec |
| prop_fuse_unfuse_Abs | Language.Nominal.Properties.AbsSpec |
| prop_id_type_unchanged | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_isTrivial_equal | Language.Nominal.Properties.NomSpec |
| prop_isTrivial_sane | Language.Nominal.Properties.NomSpec |
| prop_isTrivial_sane' | Language.Nominal.Properties.NomSpec |
| prop_l_l' | Language.Nominal.Properties.UnifySpec |
| prop_namelabel | Language.Nominal.Properties.NameSpec |
| prop_new | Language.Nominal.Properties.NomSpec |
| prop_new' | Language.Nominal.Properties.NomSpec |
| prop_nf_typeable | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_nom_to_abs | Language.Nominal.Properties.AbsSpec |
| prop_notEveryChunkBlockchain | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_not_new' | Language.Nominal.Properties.NomSpec |
| prop_overbinding | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_renId | Language.Nominal.Properties.UnifySpec |
| prop_res_res | Language.Nominal.Properties.UnifySpec |
| prop_res_unres | Language.Nominal.Properties.UnifySpec |
| prop_reverseIsNotValid | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_singleswap | Language.Nominal.Properties.NameSpec |
| prop_split_scope | Language.Nominal.Properties.NomSpec |
| prop_subchunksValid | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_sub_abs_1 | Language.Nominal.Properties.SubSpec |
| prop_sub_abs_1' | Language.Nominal.Properties.SubSpec |
| prop_sub_abs_3 | Language.Nominal.Properties.SubSpec |
| prop_sub_fresh_termvar | |
| 1 (Function) | Language.Nominal.Properties.SubSpec |
| 2 (Function) | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_sub_fresh_typevar | |
| 1 (Function) | Language.Nominal.Properties.SubSpec |
| 2 (Function) | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_sub_fresh_typevar' | |
| 1 (Function) | Language.Nominal.Properties.SubSpec |
| 2 (Function) | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_sub_id_termvar | |
| 1 (Function) | Language.Nominal.Properties.SubSpec |
| 2 (Function) | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_sub_id_typevar | |
| 1 (Function) | Language.Nominal.Properties.SubSpec |
| 2 (Function) | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_sub_id_typevar' | |
| 1 (Function) | Language.Nominal.Properties.SubSpec |
| 2 (Function) | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_sub_perm_termvar | |
| 1 (Function) | Language.Nominal.Properties.SubSpec |
| 2 (Function) | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_sub_perm_typevar' | |
| 1 (Function) | Language.Nominal.Properties.SubSpec |
| 2 (Function) | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_sub_perm_typevar'' | |
| 1 (Function) | Language.Nominal.Properties.SubSpec |
| 2 (Function) | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_sub_singleton1 | Language.Nominal.Properties.SubSpec |
| prop_sub_singleton2 | Language.Nominal.Properties.SubSpec |
| prop_support_nom_atmlist | Language.Nominal.Properties.NomSpec |
| prop_support_nom_nomatmlist | Language.Nominal.Properties.NomSpec |
| prop_supp_apart | Language.Nominal.Properties.NameSetSpec |
| prop_supp_apart_atom | Language.Nominal.Properties.NameSetSpec |
| prop_swap_symm | Language.Nominal.Properties.NameSpec |
| prop_test_rewrite1 | Language.Nominal.Properties.UtilitiesSpec |
| prop_test_rewrite2 | Language.Nominal.Properties.UtilitiesSpec |
| prop_transposeMaybeNom | Language.Nominal.Properties.NomSpec |
| prop_transposeNomList | Language.Nominal.Properties.NomSpec |
| prop_transposeNomMaybe | Language.Nominal.Properties.NomSpec |
| prop_transposeNomNom | Language.Nominal.Properties.NomSpec |
| prop_twonames | Language.Nominal.Properties.NameSpec |
| prop_typeable_nf | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_typeof_zero | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_type_soundness | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_underbinding | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_unfuse_fuse_Abs | Language.Nominal.Properties.AbsSpec |
| prop_unfuse_fuse_Abs' | Language.Nominal.Properties.AbsSpec |
| prop_unify_ren | Language.Nominal.Properties.UnifySpec |
| prop_untypeable | Language.Nominal.Properties.Examples.SystemFSpec |
| prop_validity_fresh | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_warningNotChunkTail_is_not_chunk | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| prop_x_neq_x | Language.Nominal.Properties.NomSpec |
| Ren | |
| 1 (Type/Class) | Language.Nominal.Unify, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Unify, Language.Nominal |
| ren | Language.Nominal.Unify, Language.Nominal |
| renExtend | Language.Nominal.Unify, Language.Nominal |
| renFromList | Language.Nominal.Unify, Language.Nominal |
| renNub | Language.Nominal.Unify, Language.Nominal |
| renRemoveBlock | Language.Nominal.Unify, Language.Nominal |
| renToList | Language.Nominal.Unify, Language.Nominal |
| repeatedly | Language.Nominal.Utilities |
| reRes | Language.Nominal.Nom, Language.Nominal |
| res | Language.Nominal.Nom, Language.Nominal |
| resApp | Language.Nominal.Binder, Language.Nominal |
| resAppC | Language.Nominal.Binder, Language.Nominal |
| resAppC' | Language.Nominal.Binder, Language.Nominal |
| resMay | Language.Nominal.Binder, Language.Nominal |
| resN | Language.Nominal.Nom, Language.Nominal |
| Restrict | |
| 1 (Type/Class) | Language.Nominal.NameSet, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Examples.Graph |
| restrict | Language.Nominal.NameSet, Language.Nominal |
| restrictN | Language.Nominal.NameSet, Language.Nominal |
| Ret | |
| 1 (Data Constructor) | Language.Nominal.Examples.Assembly2 |
| 2 (Data Constructor) | Language.Nominal.Examples.Assembly1 |
| reverseTxsOf | Language.Nominal.Examples.IdealisedEUTxO |
| rewrite | Language.Nominal.Utilities |
| runEvFun | Language.Nominal.Equivar, Language.Nominal |
| runViaSMonad | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| safeConcatChunk | Language.Nominal.Examples.IdealisedEUTxO |
| safeHead | Language.Nominal.Utilities |
| safeTail | Language.Nominal.Utilities |
| selfapp | Language.Nominal.Examples.SystemF |
| singletonChunk | Language.Nominal.Examples.IdealisedEUTxO |
| SmallChunk | |
| 1 (Type/Class) | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| 2 (Data Constructor) | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| SmallTC | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| SMonad | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| Sub | Language.Nominal.Sub, Language.Nominal |
| sub | Language.Nominal.Sub, Language.Nominal |
| subTxListOf | Language.Nominal.Examples.IdealisedEUTxO |
| suc | Language.Nominal.Examples.SystemF |
| superSucc | Language.Nominal.Properties.UtilitiesSpec |
| supp | Language.Nominal.NameSet, Language.Nominal |
| Support | Language.Nominal.NameSet, Language.Nominal |
| Suspend | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| Swappable | Language.Nominal.Name, Language.Nominal |
| Swp | Language.Nominal.Examples.Assembly2 |
| swp | Language.Nominal.Name, Language.Nominal |
| swpN | Language.Nominal.Name, Language.Nominal |
| tall | Language.Nominal.Examples.SystemF |
| TApp | Language.Nominal.Examples.SystemF |
| TB | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| TC | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| TC' | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| TD | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| TLam | Language.Nominal.Examples.SystemF |
| tlam | Language.Nominal.Examples.SystemF |
| Tom | Language.Nominal.Name, Language.Nominal |
| toMaybe | Language.Nominal.Utilities |
| TR | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| Transaction | |
| 1 (Type/Class) | Language.Nominal.Examples.IdealisedEUTxO |
| 2 (Data Constructor) | Language.Nominal.Examples.IdealisedEUTxO |
| TransactionF | Language.Nominal.Examples.IdealisedEUTxO |
| transactionValid | Language.Nominal.Examples.IdealisedEUTxO |
| transform | Language.Nominal.Examples.SystemF |
| transposeFM | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| transposeMF | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| transposeNomF | Language.Nominal.Nom, Language.Nominal |
| Trm | Language.Nominal.Examples.SystemF |
| TV | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| TVar | Language.Nominal.Examples.SystemF |
| TX | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| txListToChunk | Language.Nominal.Examples.IdealisedEUTxO |
| txPoint | Language.Nominal.Examples.IdealisedEUTxO |
| Typ | Language.Nominal.Examples.SystemF |
| typeable | Language.Nominal.Examples.SystemF |
| typeOf | Language.Nominal.Examples.SystemF |
| typeOf' | Language.Nominal.Examples.SystemF |
| typRecurse | Language.Nominal.Examples.SystemF |
| unfuse | Language.Nominal.Abs, Language.Nominal |
| unifiablePerm | Language.Nominal.Unify, Language.Nominal |
| UnifyPerm | Language.Nominal.Unify, Language.Nominal |
| unifyPerm | Language.Nominal.Unify, Language.Nominal |
| Unique | Language.Nominal.Unique |
| unNom | Language.Nominal.Nom, Language.Nominal |
| unRen | Language.Nominal.Unify, Language.Nominal |
| unsafeSingletonChunk | Language.Nominal.Examples.IdealisedEUTxO |
| utxcsOfChunk | Language.Nominal.Examples.IdealisedEUTxO |
| utxisOfChunk | Language.Nominal.Examples.IdealisedEUTxO |
| utxosOfChunk | Language.Nominal.Examples.IdealisedEUTxO |
| V | |
| 1 (Data Constructor) | Language.Nominal.Examples.UntypedLambda |
| 2 (Type/Class) | Language.Nominal.Examples.Assembly2 |
| 3 (Type/Class) | Language.Nominal.Examples.Assembly1 |
| Val | |
| 1 (Type/Class) | Language.Nominal.Examples.IdealisedEUTxO |
| 2 (Data Constructor) | Language.Nominal.Examples.IdealisedEUTxO |
| ValFin | |
| 1 (Type/Class) | Language.Nominal.Examples.IdealisedEUTxO |
| 2 (Data Constructor) | Language.Nominal.Examples.IdealisedEUTxO |
| valFin | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| validate | Language.Nominal.Examples.IdealisedEUTxO |
| Validator | Language.Nominal.Examples.IdealisedEUTxO |
| ValidTx | |
| 1 (Type/Class) | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| 2 (Data Constructor) | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| ValProxy | |
| 1 (Type/Class) | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| 2 (Data Constructor) | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| ValTriv | |
| 1 (Type/Class) | Language.Nominal.Examples.IdealisedEUTxO |
| 2 (Data Constructor) | Language.Nominal.Examples.IdealisedEUTxO |
| valTriv | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| Var | |
| 1 (Type/Class) | Language.Nominal.Examples.UntypedLambda |
| 2 (Data Constructor) | Language.Nominal.Examples.SystemF |
| 3 (Data Constructor) | Language.Nominal.Examples.Assembly2 |
| 4 (Data Constructor) | Language.Nominal.Examples.Assembly1 |
| Vertex | Language.Nominal.Examples.Graph |
| ViaSMonad | |
| 1 (Type/Class) | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| warningNotChunkTail | Language.Nominal.Examples.IdealisedEUTxO |
| whnf | Language.Nominal.Examples.UntypedLambda |
| withExit | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| withLabel | Language.Nominal.Name, Language.Nominal |
| withLabelOf | Language.Nominal.Name, Language.Nominal |
| withVal | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| XRes | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| XSuspend | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| XSwp | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| zero | Language.Nominal.Examples.SystemF |