|
|
-
Exported names:
-
Imported modules:
Module Main_NONGENERIC
NOTE: This a version of Main.curry
where the generic TermDomain
is specialized to type AType
defined in Verify.Domain.
This version is used by KiCS2 due to a memory leak with the
generic version.
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: December 2023
Summary of exported operations:
main
:: IO () 
|