A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
X
Z
:
$
+
.
>
@
All

Index - P

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