Commit graph

1 commit

Author SHA1 Message Date
David Peter
57d1b704b9
[ty] Document ty features (#1855)
Some checks are pending
CI / python package (push) Waiting to run
CI / pre-commit (push) Waiting to run
CI / Check generated files unedited (push) Waiting to run
CI / mkdocs (push) Waiting to run
## Summary

Document some of ty's unique type system features and add some showcases
of diagnostics.
2025-12-15 11:36:52 +01:00