Talk:VDM specification language
You must add a |reason= parameter to this Cleanup template – replace it with {{Cleanup|March 2006|reason=<Fill reason here>}}, or remove the Cleanup template.
 | This article may be too technical for most readers to understand. |
I've been writing significant tracts of this article based on my university lecture notes. I find this subject fairly dull, but it is certainly worthwhile. That said, despite being in a substantially different (and, I think, better) style from the original source, this page still sucks. Please help re-write it!:
- More accessible language
- Tidier formula typesetting
- Better/cleaner examples
Whitepaw 14:35, 7 March 2006 (UTC)
Just a note, "_(curvearrow)_" is a description of the symbol, not the actual symbol. It's a curved arrow going clockwise from about 10 O'clock to 2 O'clock — Whitepaw 14:52, 31 August 2006 (UTC)