Proofs and types | lit.salon