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/op.md | |
| parent | 6cf3ace5c115ad065de248936f41eda7965fa7a9 (diff) | |
reduce number of types
Diffstat (limited to 'docs/type_system/op.md')
0 files changed, 0 insertions, 0 deletions