3 Jui
2008
3 Jui
'08
15:50
I think the first step should be informal strings to add type annotation or/and general description. We could then improve the way package information is displayed on the website. I don't think that having the package form is really useful. Instead I would imagine having a provide section that list the exported symbols with annotations if they exist. Now where should that information be? In the package form or directly in the code?