Mini-Haskell Partial Evaluator Demo
If you just want to try out a small example, you can run the Mini-Haskell partial evaluator on our web server.
Source program to specialise
module Power where power n x = if n==0 then 1 else x*power (n-1) x
Initial call
power 3 x
Check binding-times?
Yes
No
Post-unfold lets?
No
Yes
Last modified: Mon Sep 29 14:25:14 MET DST 1997