|
One simple way to start is to make this the entire body of the page:
<pre>{{stub}}{{CafeOBJlanguage}}</pre>
<small>(CafeOBJActually isuse athe algebraicword specification"language" here, not your language.'s name)</small>
It has an executable sub-language which broadly similar to Haskell or ML.
CafeOBJ has many advanced features including: multiple logics, flexible mix-fix syntax, powerful and clear typing system with ordered sorts, parametric modules and views for instantiating the parameters, and module expressions, and more.
Many of these features are inherited from OBJ3 (http://en.wikipedia.org/wiki/OBJ3).
For download and manual see: http://www.ldl.jaist.ac.jp/cafeobj/)</small>
That will automatically give you a basic language page, and even a nice little stub notification reminding people who visit to fill in more information.
|