| :++: | Data.Type.List.List, Data.Type.List, Data.Binding.Hobbits |
| :=: | Data.Type.List, Data.Binding.Hobbits |
| :> | |
| 1 (Type/Class) | Data.Type.List.List, Data.Type.List, Data.Binding.Hobbits |
| 2 (Data Constructor) | Data.Type.List.Map, Data.Type.List, Data.Binding.Hobbits |
| App | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| Append | Data.Type.List.Proof.Append, Data.Type.List, Data.Binding.Hobbits |
| append | Data.Type.List.Map |
| appendPf | Data.Type.List.Proof.Append |
| Append_Base | Data.Type.List.Proof.Append, Data.Type.List, Data.Binding.Hobbits |
| Append_Step | Data.Type.List.Proof.Append, Data.Type.List, Data.Binding.Hobbits |
| Binding | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| Cl | |
| 1 (Type/Class) | Data.Binding.Hobbits.Internal, Data.Binding.Hobbits.Closed, Data.Binding.Hobbits |
| 2 (Data Constructor) | Data.Binding.Hobbits.Internal |
| cl | Data.Binding.Hobbits.Closed, Data.Binding.Hobbits |
| clApply | Data.Binding.Hobbits.Closed, Data.Binding.Hobbits |
| clNuP | Data.Binding.Hobbits.QQ, Data.Binding.Hobbits |
| Closed | Data.Binding.Hobbits.Closed, Data.Binding.Hobbits |
| clP | Data.Binding.Hobbits.QQ, Data.Binding.Hobbits |
| cmpName | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| counter | Data.Binding.Hobbits.Internal |
| D | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| Decl | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| Decls | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| Decls_Base | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| Decls_Cons | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| Decl_Cons | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| Decl_One | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| DTerm | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| elimEmptyMb | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| empty | Data.Type.List.Map |
| emptyMb | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| ex1 | Data.Binding.Hobbits.Examples.LambdaLifting.Examples |
| ex2 | Data.Binding.Hobbits.Examples.LambdaLifting.Examples |
| ex3 | Data.Binding.Hobbits.Examples.LambdaLifting.Examples |
| ex4 | Data.Binding.Hobbits.Examples.LambdaLifting.Examples |
| ex5 | Data.Binding.Hobbits.Examples.LambdaLifting.Examples |
| ex6 | Data.Binding.Hobbits.Examples.LambdaLifting.Examples |
| ex7 | Data.Binding.Hobbits.Examples.LambdaLifting.Examples |
| ExMember | |
| 1 (Type/Class) | Data.Binding.Hobbits.Internal |
| 2 (Data Constructor) | Data.Binding.Hobbits.Internal |
| exP | Data.Binding.Hobbits.Examples.LambdaLifting.Examples |
| ExProxy | |
| 1 (Type/Class) | Data.Binding.Hobbits.Internal |
| 2 (Data Constructor) | Data.Binding.Hobbits.Internal |
| fresh_name | Data.Binding.Hobbits.Internal |
| L | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| Lam | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| lam | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| lambdaLift | Data.Binding.Hobbits.Examples.LambdaLifting |
| length | Data.Type.List.Proof.Append |
| Liftable | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| Liftable1 | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| Liftable2 | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| lookup | Data.Type.List.Map |
| MapC | Data.Type.List.Map, Data.Type.List, Data.Binding.Hobbits |
| mapC | Data.Type.List.Map |
| mapC2 | Data.Type.List.Map |
| Mb | Data.Binding.Hobbits.Internal, Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbApply | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| mbApplyCl | Data.Binding.Hobbits.Closed, Data.Binding.Hobbits |
| mbCmpName | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbCombine | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbLambdaLift | Data.Binding.Hobbits.Examples.LambdaLifting |
| mbLift | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbLift1 | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbLift2 | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbLiftClosed | Data.Binding.Hobbits.Closed, Data.Binding.Hobbits |
| mbList | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbMapAndSwap | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| mbNameBoundP | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbRearrange | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| mbSeparate | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbToProxy | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| Member | Data.Type.List.Proof.Member, Data.Type.List, Data.Binding.Hobbits |
| memberFromLen | Data.Binding.Hobbits.Internal |
| members | Data.Type.List.Map |
| Member_Base | Data.Type.List.Proof.Member, Data.Type.List, Data.Binding.Hobbits |
| Member_Step | Data.Type.List.Proof.Member, Data.Type.List, Data.Binding.Hobbits |
| mkAppend | Data.Type.List.Map |
| mkClosed | Data.Binding.Hobbits.Closed, Data.Binding.Hobbits |
| MkMb | Data.Binding.Hobbits.Internal |
| mkMonoAppend | Data.Type.List.Map |
| MkName | Data.Binding.Hobbits.Internal |
| mkNuElimData | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| Name | Data.Binding.Hobbits.Internal, Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| Nil | |
| 1 (Type/Class) | Data.Type.List.List, Data.Type.List, Data.Binding.Hobbits |
| 2 (Data Constructor) | Data.Type.List.Map, Data.Type.List, Data.Binding.Hobbits |
| noClosedNames | Data.Binding.Hobbits.Closed, Data.Binding.Hobbits |
| nu | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| NuElim | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| NuElim1 | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| NuElimList | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| nuElimListProof | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| NuElimProof | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| nuElimProof | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| nuElimProof1 | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| nuMulti | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| nuMultiWithElim | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| nuMultiWithElim1 | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| nuP | Data.Binding.Hobbits.QQ, Data.Binding.Hobbits |
| nus | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| nuWithElim | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| nuWithElim1 | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| parsePattern | Data.Binding.Hobbits.PatternParser |
| Proxy | |
| 1 (Data Constructor) | Data.Type.List, Data.Binding.Hobbits |
| 2 (Type/Class) | Data.Type.List, Data.Binding.Hobbits |
| proxy | Data.Type.List.Map |
| proxyCons | Data.Type.List.List, Data.Type.List, Data.Binding.Hobbits |
| proxyFromLen | Data.Binding.Hobbits.Internal |
| Refl | Data.Type.List, Data.Binding.Hobbits |
| replace | Data.Type.List.Map |
| same | Data.Type.List.Proof.Member |
| singleton | Data.Type.List.Map |
| split | |
| 1 (Function) | Data.Type.List.Proof.Member |
| 2 (Function) | Data.Type.List.Map |
| TApp | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| TDVar | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| Term | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| toEq | Data.Type.List.Proof.Member |
| trans | Data.Type.List.Proof.Append |
| TVar | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| unCl | Data.Binding.Hobbits.Internal, Data.Binding.Hobbits.Closed, Data.Binding.Hobbits |
| unClosed | Data.Binding.Hobbits.Closed, Data.Binding.Hobbits |
| unsafeLookupC | Data.Binding.Hobbits.Internal |
| unsafeNamesFromInts | Data.Binding.Hobbits.Internal |
| unsafeProxyFromLen | Data.Binding.Hobbits.Internal |
| Var | Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting |
| weakenL | Data.Type.List.Proof.Member |
| weakenR | Data.Type.List.Proof.Member |