Remove constants section as it is outdated

rust-lang · Nov 22, 2024 · 787b416 · 787b416
1 parent 47d9e86
commit 787b416
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 83 deletions.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -142,7 +142,6 @@
     - [`EarlyBinder` and instantiating parameters](./ty_module/early_binder.md)
     - [`Binder` and Higher ranked regions](./ty_module/binders.md)
     - [Instantiating binders](./ty_module/instantiating_binders.md)
-    - [Constants in the type system](./constants.md)
 - [`TypeFolder` and `TypeFoldable`](./ty-fold.md)
 - [Parameter Environments](./param_env/param_env_summary.md)
     - [What is it?](./param_env/param_env_what_is_it.md)

diff --git a/src/constants.md b/src/constants.md