Documentation.SBV.Examples.Lists.Nested

Demonstrates nested lists

Documentation

nestedExample :: IO ()

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

Turned off. See: https://github.com/Z3Prover/z3/issues/2820 nestedExample [[1,2,3],[4,5,6,7],[8,9,10],[11,12,13]]