Haskell-Subset 2 Dafny mini translator

Enter a Haskell subset program (containing any number of functions of Int->Int, with or without their type declaration, defined by guarded expressions, plus a single expression - eg. calling f(x) for some value of x)

By the way, you can download the full source code to this CGI script and the underlying Haskell-subset to Dafny translator: just click here