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