NOW
This is a now page.
- //deep dive into dependent types introduced by Martin-Löf and the propositions as types concept
- //working my way through MLIR concepts to write passes and dialects for our compiler
- //revisiting controls and messages in Bevy to improve train interactions
- //understanding rustc, hoping to start contributing small fixes