finite functions in Scheme

Subject: finite functions in Scheme
From: Matthias Felleisen (
Date: Sat Feb 02 2002 - 18:45:31 EST

Just in case you're wondering why I was temporarily confused,
please take a look at

It shows how you can build finite functions as functions in Scheme,
and how MrFlow can indeed predict the set of possible return values.

Good job, Philippe. I hoped that it'd work, and it did.

Enjoy. -- Matthias

This archive was generated by hypermail 2b28 : Sat Feb 02 2002 - 18:45:34 EST