[Added section about possible future work. Nils Anders Danielsson **20050601000729] hunk ./README 14 +Possible future work +-------------------- + +* Making it easier to test equality etc. of functions. (This may be + easier using the new version of Scrap your boilerplate, Scrap your + boilerplate with class.) + +* Generic generators for partial and infinite values, including + partial, continuous functions. (It is relatively easy to generate + partial functions that are, in general, not monotone. Monotone and + continuous functions correspond better to typical Haskell functions, + though.) +