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