include ..\Utilitys.tlhy

:mypower
    1 tolist flatten len
    1 equal
    ( [pop drop 2]
      [pop pop drop]
    ) if
    power
;

"2 ^2 = " print 2 mypower ?
"2 ^3 = " print ( 2 3 ) mypower ?

"End " input