diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-11 17:05:10 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-11 17:05:10 -0400 |
| commit | d3a576f02b5d02245ce98741ffa6440ba5179cfb (patch) | |
| tree | 86031e3cc117daf9bb2770377d7c75f30044501b /docs/type_system/set.md | |
| parent | 6cf3ace5c115ad065de248936f41eda7965fa7a9 (diff) | |
reduce number of types
Diffstat (limited to 'docs/type_system/set.md')
| -rw-r--r-- | docs/type_system/set.md | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/type_system/set.md b/docs/type_system/set.md deleted file mode 100644 index 51d3f2d..0000000 --- a/docs/type_system/set.md +++ /dev/null @@ -1,7 +0,0 @@ -# Set - ---- - -```text -Set[TYPE] -``` |