This page is no longer maintained — Please continue to the home page at

Re: questioning FP

No replies
Joined: 2011-02-13,
User offline. Last seen 42 years 45 weeks ago.

>> This is because the type system does not allow to restrict [a] to only
>> contain actual lists....
> Yes it does. Try it.

Do you mean by using strict fields?

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland