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