Skip to content

Commit

Permalink
Add a FIXME about reorganizing contents.
Browse files Browse the repository at this point in the history
  • Loading branch information
crlf0710 committed Nov 25, 2023
1 parent 3ffb774 commit 3d3fce1
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions src/traits/canonicalization.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,9 @@
# Canonicalization

> **NOTE**: FIXME: The content of this chapter has some overlap with
> [Next-gen trait solving Canonicalization chapter](../solve/canonicalization.html). It is suggested to
> reorganize these contents in the future.
Canonicalization is the process of **isolating** an inference value
from its context. It is a key part of implementing
[canonical queries][cq], and you may wish to read the parent chapter
Expand Down

0 comments on commit 3d3fce1

Please sign in to comment.