diff options
Diffstat (limited to 'sucl/graph.icl')
| -rw-r--r-- | sucl/graph.icl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sucl/graph.icl b/sucl/graph.icl index 9bfa8f6..3d19159 100644 --- a/sucl/graph.icl +++ b/sucl/graph.icl @@ -196,6 +196,12 @@ Uses in Miranda: > compilegraph :: [(**,(*,[**]))] -> graph * ** > compilegraph = foldr (uncurry updategraph) emptygraph +*/ + +compilegraph :: ![(var,Node sym var)] -> Graph sym var +compilegraph nds = foldr (uncurry updategraph) emptygraph nds + +/* `Instance g1 g2' determines whether g2 is an instance of g1. Uses in Miranda: |