Rosetta Code:Add a Language: Difference between revisions
CafeOBJ is a algebraic specification and programming language.
No edit summary |
(CafeOBJ is a algebraic specification and programming language.) |
||
Line 19:
One simple way to start is to make this the entire body of the page:
<pre>{{stub}}{{
<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.
| |||