Definitions =========== Type inference -------------- TODO ``Definition``, ``Example`` --------------------------- TODO ``Fixpoint``, ``CoFixpoint`` ---------------------------- TODO ``Lemma``, ``Theorem``, ``Fact``, ``Remark``, ``Corollary``, ``Proposition``, ``Property`` ------------------------------------------------------------------------------------------ TODO ``Hypothesis``, ``Hypotheses``, ``Variable``, ``Variables`` ----------------------------------------------------------- TODO ``Axiom``, ``Axioms``, ``Conjecture``, ``Conjectures``, ``Parameter``, ``Parameters`` ------------------------------------------------------------------------------------- TODO Attributes ---------- ``Program`` ~~~~~~~~~~~ TODO ``Arguments`` ~~~~~~~~~~~~~ TODO ``Opaque``, ``Transparent`` ~~~~~~~~~~~~~~~~~~~~~~~~~~~ TODO Expressions ----------- ``let ... in`` ~~~~~~~~~~~~~~ TODO ``if ... then ... else`` ~~~~~~~~~~~~~~~~~~~~~~~~ TODO ``match ... with ... end`` ~~~~~~~~~~~~~~~~~~~~~~~~~~ TODO Monads (``... ;; ...``, ``>>``, ``>>=``, ``let!``) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ TODO Keeping everything organized ---------------------------- TODO