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