Commit 61a197ede0578a349bb91358aca8e25e88fea1b0 - cafeobj

release date updated Toshimi Sawada 4 years ago

1 changed file(s) with 1 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all

-1

README.md less more

0	0	CafeOBJ Interpreter
1	1	===================
2	2	Version 1.6.0
3		2018-12-20
	3	2020-01-20
4	4
5	5	CafeOBJ is a new generation algebraic specification and programming language.
6	6	As a direct successor of OBJ, it inherits all its features (flexible mix-fix