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

Safe HaskellNone
LanguageHaskell2010

Documentation.SBV.Examples.Lists.Nested

Description

Author : Levent Erkok License : BSD3 Maintainer: erkokl@gmail.com Stability : experimental

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]]