Add a page to describe the vdm language(s)

overturetool / overturetool.github.io

The Overture Tool Website

http://overturetool.org

3 stars 6 forks source link

Add a page to describe the vdm language(s) #6

Open lausdahl opened 10 years ago

lausdahl commented 10 years ago

We need a page that describes the VDM language by:

first describing the basic VDM of the iso standard, types, functions etc.
a short section that describes modules
a short section that describes the addition of ++
a short section that describes the addition of RT

ldcouto commented 10 years ago

We have some of this in http://overturetool.org/languages/

But it's incomplete (no RT stuff, for example). I honestly think the best solution here is to create an online version of the language manual. Maybe see what pandoc tex -> markdown produces.

augustoribeiro commented 10 years ago

looking good :thumbsup:

joey-coleman commented 9 years ago

@pglvdm Do we have any existing text that would cover this?

ldcouto commented 9 years ago

There's VDM RT content commented out in the source for http://overturetool.org/languages/.

Just needs someone to go in and reorganize the pages.