in CleanLangRep.2.2.pdf Chapter 1, page 4 one step is missing for the graph writing it should be something like the following but the second step here is missing
@DataRoot =: Graph @A
@A =: Add @B @C
@B =: Succ @C
@C =: Zero
@DataRoot =: Graph @B
@B =: Succ @A
@A =: Add @C @C
@C =: Zero
@DataRoot =: Graph @D
@D =: Succ @C
@C =: Zero
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
