Commit 59db78e0 authored by Denis Shirshov's avatar Denis Shirshov


parent e876b35e
......@@ -14,7 +14,7 @@
<p>Here is a specification for the translation rules. We start from most elementary patterns and follow to more and more complex ones. All these patterns are also test cases for regression testing of the Converter program. With each case we ensure that converter code translates left-hand diagram exactly to the right-hand diagram, while both considering as standalone schemes.</p>
%%(define baseurl "")%%
%%(define baseurl "")%%
%%(go-through-tests "../tests/tests.pdafer")%%
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment