| > [!IMPORTANT] | |
| > This page was copied from https://github.com/dart-lang/sdk/wiki and needs review. | |
| > Please [contribute](../CONTRIBUTING.md) changes to bring it up-to-date - | |
| > removing this header - or send a CL to delete the file. | |
| --- | |
| Kernel is a typed language with a sound type-system. |