Category:CafeOBJ: Difference between revisions
Content added Content deleted
(Created page with " ==Basic Information== CafeOBJ is a algebraic specification language. It has an executable sub-language which is broadly similar to Haskell or ML. CafeOBJ has many advanced fe...") |
No edit summary |
||
Line 14: | Line 14: | ||
===Redirect=== |
|||
#REDIRECT [[:Category:CafeOBJ]] |
|||
===Examples=== |
===Examples=== |