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 stands in the place of a normal blog.