Slash Boxes
NOTE: use Perl; is on undef hiatus. You can read content, but you can't post it. More info will be forthcoming forthcomingly.

All the Perl that's Practical to Extract and Report

The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
More | Login | Reply
Loading... please wait.
  • by djberg96 (2603) on 2008.06.12 11:53 (#63342) Journal
    Fortress (sans unicode in this example) may provide some inspiration:

    factorial (n :Z64) requires n >= 0 =
       if n = 0 then 1
       else n factorial (n - 1)
    Take a look at method contracts and function contracts for possible ideas as there's more to it then just what I've shown.