| :++: | 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 |
| 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 |
| cmpName | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| combineMb | 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 |
| Mb | Data.Binding.Hobbits.Internal, Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbCmpName | 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 |
| mbList | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbNameBoundP | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| mbToplevel | Data.Binding.Hobbits.SuperComb, 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 |
| 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 |
| nu | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| NuElim | 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 |
| nuMulti | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| nuQQ | Data.Binding.Hobbits.QQ, Data.Binding.Hobbits |
| nuWithElim1 | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| nuWithElimMulti | Data.Binding.Hobbits.NuElim, Data.Binding.Hobbits |
| parsePattern | Data.Binding.Hobbits.PatternParser, Data.Binding.Hobbits |
| parseVar | Data.Binding.Hobbits.PatternParser, Data.Binding.Hobbits |
| 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 |
| same | Data.Type.List.Proof.Member |
| separateMb | Data.Binding.Hobbits.Mb, Data.Binding.Hobbits |
| singleton | Data.Type.List.Map |
| split | |
| 1 (Function) | Data.Type.List.Proof.Member |
| 2 (Function) | Data.Type.List.Map |
| SuperComb | Data.Binding.Hobbits.SuperComb, Data.Binding.Hobbits |
| superComb | Data.Binding.Hobbits.SuperComb, Data.Binding.Hobbits |
| 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 |
| 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 |