molikto’s weblog

Notes on various topic on dependent type theory

Syntax