1.
About
1.1.
Me
2.
Independent study
2.1.
Computational Type Theory
2.2.
Algebraic Effects and Handlers
3.
MSCS
3.1.
CSCA 5414
3.2.
EMEA 5065
4.
Sources
Light (default)
Rust
Coal
Navy
Ayu
DS Notes
This section pertains to hobby or independent, open-source work.