Index
| :~: | Singlethongs |
| Demote | Singlethongs |
| fromSing | Singlethongs |
| Refl | Singlethongs |
| Sing | Singlethongs |
| sing | Singlethongs |
| SingI | Singlethongs |
| SingKind | Singlethongs |
| singlethongs | Singlethongs |
| SomeSing | |
| 1 (Type/Class) | Singlethongs |
| 2 (Data Constructor) | Singlethongs |
| TestEquality | Singlethongs |
| testEquality | Singlethongs |
| toSing | Singlethongs |
| withSomeSing | Singlethongs |