Skip to content

Commit 3a5d44e

Browse files
slavapestovslavapestov
committed
RequirementMachine: Unique Terms
Unlike Atoms, this a new type that exists alongside MutableTerm (what used to be just Term). For now, nothing uses Term yet.
1 parent 23a32df commit 3a5d44e

File tree

2 files changed

+302
-157
lines changed

2 files changed

+302
-157
lines changed

0 commit comments

Comments
 (0)