xiaoxi-david

Improve semantic highlighting of `TypeAlias`

6

I wonder if: - Pylance could use `TypeAlias` instead of the type alias name for the type hinting for type aliases. According to [PEP 613](https://peps.python.org/pep-0613/), the type hinting for type...

Unlike other Lean documentation, such as Functional Programming in Lean, theme changes every time I click on the print icon. I have tried to print the document with Microsoft Edge...

Information about Nushell on Wikipedia will increase its visibility

1

Wikipedia has a [comparison article](https://en.wikipedia.org/wiki/Comparison_of_command_shells) with information on almost all shell commands except Nushell. Adding Nushell information there will increase its visibility.

A Rust-based platform in PlatformIO could help to popularize Rust among embedded systems engineers.