... a verifier for functional programs

THE INFORMATION, SERVICES AND PRODUCTS ON THE VeriFun WEBSITE ARE PROVIDED "AS IS" WITHOUT WARRANTIES OF ANY KIND. YOU ALSO AGREE THAT THE SUPPLIER OF THE VeriFun WEBSITE SHALL NOT BE RESPONSIBLE FOR ANY CONTENT FOUND ON THE VeriFun WEBSITE AND THAT YOUR USE OF THE VeriFun WEBSITE AND ANY DOWNLOADING OF MATERIALS FOUND ON OR THROUGHOUT THE VeriFun WEBSITE IS DONE AT YOUR OWN RISK AND THAT YOU WILL BE SOLELY RESPONSIBLE FOR ANY DAMAGES TO YOUR COMPUTER OR DATA THAT RESULTS.

ALL EXPRESS WARRANTIES AND ALL IMPLIED WARRANTIES, INCLUDING WITHOUT LIMITATION WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE, AND NON-INFRINGEMENT OF PROPRIETARY RIGHTS ARE HEREBY DISCLAIMED TO THE FULL EXTENT PERMITTED BY LAW.

IT IS NOT WARRANTED THAT THE USE OR PERFORMANCE OF THIS WEBSITE WILL BE TIMELY, UNINTERRUPTED OR FREE OF ERROR, OR THAT THE VeriFun WEBSITE OR ITS SERVER WILL BE FREE OF VIRUSES.

IN NO EVENT SHALL THE SUPPLIER OF THE VeriFun WEBSITE BE LIABLE FOR ANY LOSS OR INJURY, DIRECT OR INDIRECT, INCIDENTAL, CONSEQUENTIAL, SPECIAL OR EXEMPLARY DAMAGES, OR ANY DAMAGES WHATSOEVER ARISING FROM THE USE OR PERFORMANCE OF THE VeriFun WEBSITE OR FROM ANY INFORMATION, SERVICES OR PRODUCTS PROVIDED THROUGH THE VeriFun WEBSITE, EVEN IF THE SUPPLIER OF THE VeriFun WEBSITE HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.

IN THE EVENT THAT APPLICABLE LAW PREVENTS THE EXCLUSION OF LIABILITY FOR CERTAIN WARRANTIES, SUCH EXCLUSION DOES NOT APPLY TO YOU TO THE EXTENT LIMITED BY LAW.

_______________________________

Last update 2016-02-29