Accept reviewer reformulation

Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Kasper Svendsen
2022-10-21 11:34:48 +02:00
committed by GitHub
parent 6fe0de8a9e
commit 925fd2eb45

View File

@@ -278,8 +278,8 @@ in the QL language specification.
Built-in modules
****************
QL defines a `QlBuiltins` module, which is a built-in module that all databases
include. Currently, it defines a single parameterized sub-module
QL defines a `QlBuiltins` module, which is a built-in module that is always in scope.
Currently, it defines a single parameterized sub-module
`EquivalenceRelation`, that provides an efficient abstraction for working with
(partial) equivalence relations in QL.