unbound-0.2: Generic support for programming with names and binders

Index - L

LUnbound.Nominal.Internal
levelUnbound.LocallyNameless.Alpha
lexordUnbound.LocallyNameless.Alpha
LFresh 
1 (Type/Class)Unbound.Nominal.Internal, Unbound.Nominal
2 (Type/Class)Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless
lfresh 
1 (Function)Unbound.Nominal.Internal, Unbound.Nominal
2 (Function)Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless
lfreshen 
1 (Function)Unbound.Nominal.Internal, Unbound.Nominal
2 (Function)Unbound.LocallyNameless.Ops, Unbound.LocallyNameless
lfreshen' 
1 (Function)Unbound.Nominal.Internal, Unbound.Nominal
2 (Function)Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless
lfreshenD 
1 (Function)Unbound.Nominal.Internal
2 (Function)Unbound.LocallyNameless.Alpha
lfreshenL 
1 (Function)Unbound.Nominal.Internal
2 (Function)Unbound.LocallyNameless.Alpha
lfreshenR1 
1 (Function)Unbound.Nominal.Internal
2 (Function)Unbound.LocallyNameless.Alpha
LFreshMUnbound.LocallyNameless.Fresh, Unbound.LocallyNameless
LFreshMT 
1 (Type/Class)Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless
2 (Data Constructor)Unbound.LocallyNameless.Fresh
lsubstUnbound.Nominal.Internal, Unbound.Nominal
lsubstsUnbound.Nominal.Internal, Unbound.Nominal
lunbind 
1 (Function)Unbound.Nominal.Internal, Unbound.Nominal
2 (Function)Unbound.LocallyNameless.Ops, Unbound.LocallyNameless
lunbind2 
1 (Function)Unbound.Nominal.Internal, Unbound.Nominal
2 (Function)Unbound.LocallyNameless.Ops, Unbound.LocallyNameless
lunbind3 
1 (Function)Unbound.Nominal.Internal, Unbound.Nominal
2 (Function)Unbound.LocallyNameless.Ops, Unbound.LocallyNameless
luntrecUnbound.LocallyNameless.Ops, Unbound.LocallyNameless