|
|
-
Exported names:
-
Imported modules:
Module Main
A tool to verify Curry programs w.r.t. failing computations. Thus, a program successfully verified by this tool should never fail at run-time (apart from explicit error) provided that the call types are satisfied when invoking a function.
Author: Michael Hanus
Version: May 2025
Summary of exported operations:
main
:: IO () 
|