I'm pretty happy with these API docs. There's some replication in the discussion of Peano numbers, which I don't think is too bad (probably worse to force users to jump around). I'm pretty new to this module so it's probably worth double checking what I've written here.
Preview haddocks are available here.
I'm pretty happy with these API docs. There's some replication in the discussion of Peano numbers, which I don't think is too bad (probably worse to force users to jump around). I'm pretty new to this module so it's probably worth double checking what I've written here.