Revision as of 16:55, 17 October 2013 (view source) Pbrowne (talk \| contribs) (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...")		Revision as of 16:57, 17 October 2013 (view source) Pbrowne (talk \| contribs) No edit summary Newer edit →
Line 14: ~~===Redirect===~~ ~~#REDIRECT [[:Category:CafeOBJ]]~~ ===Examples===

Category:CafeOBJ (view source)