Munchausen numbers: Difference between revisions

Content added Content deleted

Inline

@@ Line 266: / Line 266: @@
     (class of n is integer) and ¬
-        n = foldl(digitPowerSum, 0, characters of (n as string))
+        foldl(digitPowerSum, 0, characters of (n as string)) = n
 end isMunchausen