sbv-8.4: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

Copyright(c) Levent Erkok
LicenseBSD3
Maintainererkokl@gmail.com
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Documentation.SBV.Examples.Lists.Nested

Description

Demonstrates nested lists

Synopsis

Documentation

nestedExample :: IO () Source #

Simple example demonstrating the use of nested lists. We have:

>>> nestedExample
[[1,2,3],[4,5,6,7],[8,9,10],[11,12,13]]