hinduce-examples-0.0.0.2: Example data for hInduce

Safe HaskellSafe-Infered

Data.HInduce.Examples

Contents

Description

This package / module provides example data and example code to help you get started with HInduce. You are advised to import this module (ghci: :m + Data.HInduce.Examples), not the individual ones below, because Data.HInduce.Examples re-exports modules that are required to run the examples yourself.

Click on a module below to view the examples you're interested in. Also note the grey Source links at the right hand site of the webpage.

Synopsis

The Examples

Re-exports for convenience