Re: [bitc-dev] Introduction to programming in BitC

2010-08-11 Thread Jonathan S. Shapiro
On Wed, Aug 11, 2010 at 3:21 PM, wren ng thornton wrote: > > I mentioned the RWH site not as a documentation _format_, but rather as > a documentation/review _method_. For that sort of thing it can be very useful. If that's the approach, then it's also possible to include comment areas defined

Re: [bitc-dev] Introduction to programming in BitC

2010-08-11 Thread wren ng thornton
Jonathan S. Shapiro wrote: >> Another good option would be the wiki software they used for developing >> Real World Haskell (though I can't find a link to that software at the >> moment). > > We will not adopt wiki software for this - there are no existing wikis that > do any sort of decent job ex

Re: [bitc-dev] Introduction to programming in BitC

2010-08-10 Thread Jonathan S. Shapiro
The reason we built OSDoc is that it can generate both LaTeX and readable web pages. We will not adopt wiki software for this - there are no existing wikis that do any sort of decent job exporting to print, and none that do any sort of decent job on authentication and accountability. Our company l

Re: [bitc-dev] Introduction to programming in BitC

2010-08-10 Thread Jonathan S. Shapiro
If you have the BitC tools installed, you should have osdoc installed. This is our response to Docbook, and all of the BitC docs are written in it. You should be able to find documentation in /usr/share/osdoc/doc// shap On Mon, Aug 9, 2010 at 10:55 PM, Kristopher Micinski wrote: > Hey all, > >

Re: [bitc-dev] Introduction to programming in BitC

2010-08-10 Thread wren ng thornton
Kristopher Micinski wrote: > Hey all, > > So since Dr. Shapiro informed me he's started to get the first "blessed" > version of BitC ready (correct me if I misinterpreted this!) I think it may > be appropriate to start putting together a real world introductory guide to > BitC. I would probably be