| 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 |