Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
let rec fib n =<br />
if (n == 0)<br />
then 0<br />
else if (n==1)<br />
then 1<br />
else ((fib (n-1)) + (fib (n-2)));<br />
Poly> :type fact<br />
fact : Int -> Int<br />
Poly> fact 5<br />
120<br />
Poly> fib 16<br />
610<br />
Full Source<br />
• Poly<br />
• Poly - Constraint Generation<br />
103