! Copyright (C) 2019-2020 KUSUMOTO Norio.
-! See http://factorcode.org/license.txt for BSD license.
+! See https://factorcode.org/license.txt for BSD license.
USING: tools.test logic logic.examples.factorial ;
{ { H{ { F 1 } } } } [ { factorial 0 F } query ] unit-test