Commit 3be04645 authored by Michael Hanus's avatar Michael Hanus
Browse files

Example updated

parent 7de1a1a5
......@@ -5,8 +5,6 @@
--- CurryCheck generates and check properties which states
--- that the original operations are indeed deterministic.
import System
-- Computes the last element of a list.
last :: [a] ->DET a
last (_ ++ [x]) = x
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment