search

obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)
Other
63 stars 33 forks source link

Bad documentation on DMap #1

Closed spl closed 9 years ago

spl commented 12 years ago

There are a few errors on the Haddock docs for DMap.

  1. Data.Dependent.Tag doesn't seem to exist.
  2. The documentation refers to some f which I guess is supposed to be the k type parameter of DMap.
mokus0 commented 12 years ago

Thanks for pointing these out. Sorry not to reply sooner, I've been busy with a cross-country move and I currently am using a tablet as my sole computer, without a physical keyboard, which makes even minor code-related tasks quite a chore. Just wanted to let you know I'm not ignoring this.

spl commented 12 years ago

No problem. :) Good luck with the move.