Equality, Dependent Types, and Typechecking Comments via amw-zero@users.lobste.rs (amw-zero) | Lancern's Treasure Chest

08:08 · Oct 25, 2023 · Wed

Equality, Dependent Types, and Typechecking

Comments

via amw-zero@users.lobste.rs (amw-zero)

Equality, Dependent Types, and Typechecking

Powered by BroadcastChannel & Sepia