Scala Type Level Programming: The Natural Numbers: Exponentiation Assertions

type-level-programming-natural-numbers-exponentiation-assertions.scala

// 1^0                        
implicitly[T1#exp[T0] =:= T1] 
// 1^1                        
implicitly[T1#exp[T1] =:= T1] 
// 1^2                        
implicitly[T1#exp[T2] =:= T1] 
// 1^3                        
implicitly[T1#exp[T3] =:= T1] 
                              
// 2^0                        
implicitly[T2#exp[T0] =:= T1] 
// 2^1                        
implicitly[T2#exp[T1] =:= T2] 
// 2^2                        
implicitly[T2#exp[T2] =:= T4] 
// 2^3                        
implicitly[T2#exp[T3] =:= T8] 
                              
// 3^0                        
implicitly[T3#exp[T0] =:= T1] 
// 3^1                        
implicitly[T3#exp[T1] =:= T3] 
// 3^2                        
implicitly[T3#exp[T2] =:= T9] 
// 3^3                        
implicitly[T3#exp[T3] =:= T27]