natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Published with https://stackedit.io/

This commit is contained in:
Fedor Isakov 2014-06-11 10:00:22 -07:00
parent 0003e1c7f3
commit 69f9844b12
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
reactor/README.md
View File

@ -1,7 +1,7 @@
Unification
===========
This small package contains a Java implementation of a "near linear" time syntactic unification algorithm.[^uni]
This small package contains a Java implementation of a "near linear" time syntactic unification algorithm.<sup><a href="#uni">1</a></sup>
In order to make use of the API one must implement two interfaces:
@ -12,8 +12,6 @@ These are used by the algorithm to analyze the syntax graph.
The results are provided in the form of variable bindings. On successful unification, the algorithm returns the solution in a triangular form.
Some javadoc can be found [here] [1].
License
-------
@ -33,7 +31,4 @@ limitations under the License.
> Written with [StackEdit](https://stackedit.io/).
[^uni]: Baader, Franz, and Wayne Snyder. "Unification Theory." Handbook of automated reasoning 1 (2001): 445-532.
[1]: http://../doc/index.html
<a anchor="uni">1</a>: Baader, Franz, and Wayne Snyder. "Unification Theory." Handbook of automated reasoning 1 (2001): 445-532.