infinite types

blaat blaat
Wed, 16 Jul 2003 12:05:45 +0200

Hi al!

In my holliday I like to hobby a bit with haskell. For a small formalization 
I wanted to try out a specification which uses infinite types. Does a 
(extended) haskel compiler exist which allows infinite types?


The new MSN 8: advanced junk mail protection and 2 months FREE*