Copilot.Verifier.Examples.ShouldPass.Array

This is a simple example for arrays. As a program, it does not make much sense, however it shows of the features of arrays nicely.

Documentation

arr :: Stream (Array 2 Bool)

spec :: Spec

verifySpec :: Verbosity -> IO ()