my proposal of writing an exposition of linear type theory as the final project for my quantum computation course was not approved and now i may have to resort into even more formal obscurity😈