About
LNL Cxl Modal Logic
Dependent Theory of Types
1.
Introduction
2.
Subst Calculus
3.
Structures I
4.
Compilers
5.
Structures, revisted
6.
Structures II
7.
Modalities
8.
WIP Definitions
Miscellaneous
Industry Resume
Typesetting Experiments
Light
Rust
Coal
Navy
Ayu