BSD-3-Clause licensed by M Farkas-Dyck
Maintained by strake888@gmail.com

Module documentation for 0.2.0.0

This version can be pinned in stack with:natural-induction-0.2.0.0@sha256:e51041d3811a0151f404533749717cd69ccc31fcfbbadbf041fe786a9fc72a21,853
Depends on 2 packages(full list with versions):
comments powered byDisqus