hinduce-examples- Example data for hInduce

Safe HaskellSafe-Infered




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.


The Examples

Re-exports for convenience