Skip to content
This repository

Fetching latest commit…


Cannot retrieve the latest commit at this time

Octocat-spinner-32 ListProps.hs
Octocat-spinner-32 README
First see ../../README.

In this directory, compile or interpret ListProps.main (SmallCheck is
the only other module required) for a small selection of self-introducing
tests of list-processing functions.

The definition of isPrefix is deliberately incorrect: the completeness
property still holds, but the existential soundness property fails.
Something went wrong with that request. Please try again.