when i try the following, it only show passed after 1000 test one case rejected and repeated with a few lines, but do not show f x = if ( x <= 0) 1 (x*f(x-1)) as paper systematic synthesis of functions
which steps do i miss? module martin001 import gast, StdEnv prop1 :: Fun -> Bool prop1 d = ~(f 2 == 2 && f 4 == 24 && f 6 == 720) where f = apply d Start = test prop1
_______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list
