+-- {: .rightHandSide} +-- {: .toc .clickDown tabindex="0"} ### Context #### Type theory +-- {: .hide} [[!include type theory - contents]] =-- =-- =-- #Contents# * table of contents {:toc} ## Idea The [[context]] of no assumptions. ## Related concepts [[!include empty objects -- contents]] [[!redirects empty contexts]]