Morgan Couapel
authored
Update TermRewriteSystemMaker.hs made Connection Paths end on the correct spot at Generalisation nodes.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| GroundnessAnalyzer.hs | ||
| Lib.hs | ||
| Parsermaker.hs | ||
| SymbolicEvaluationGraph.hs | ||
| TermRewriteSystemMaker.hs | ||
| Types.hs | ||