BSD-3-Clause licensed by M Farkas-Dyck
Maintained by strake888@gmail.com
This version can be pinned in stack with:natural-induction-0.2.0.0@sha256:c57efe84e8804093bb740ac824d0e5a4ba09015f16d3abaa8d3d93d29e975304,998

Module documentation for 0.2.0.0

  • Data
    • Data.Natural
      • Data.Natural.Class
Depends on 2 packages(full list with versions):