mirror of
https://github.com/github/semantic.git
synced 2025-01-01 11:46:14 +03:00
🔥 the export of equivalentTerms from Interpreter.
This commit is contained in:
parent
d453a7f2df
commit
ecfb920291
@ -3,7 +3,6 @@ module Interpreter
|
|||||||
( diffTerms
|
( diffTerms
|
||||||
, diffSyntaxTerms
|
, diffSyntaxTerms
|
||||||
, comparableByConstructor
|
, comparableByConstructor
|
||||||
, equivalentTerms
|
|
||||||
) where
|
) where
|
||||||
|
|
||||||
import Algorithm
|
import Algorithm
|
||||||
|
Loading…
Reference in New Issue
Block a user