Type checker

Last modified: 03 December 2024

The Rust type checker.