Changeset 575


Ignore:
Timestamp:
Feb 18, 2011, 1:38:21 PM (6 years ago)
Author:
mulligan
Message:

Added explanation of ... syntax in Matita, along with current explanation of ?.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.tex

    r574 r575  
    289289From hereonin, we typeset O'Caml source with \texttt{\color{blue}{blue}} and Matita source with \texttt{\color{red}{red}}.
    290290Matita's syntax is straightforward if familiar with Coq or O'Caml.
    291 One subtlety is the use of `\texttt{?}' in an argument position denoting an argument to be inferred.
     291One subtlety is the use of `\texttt{?}' or `\texttt{$\ldots$}' in an argument position denoting an argument or arguments to be inferred, respectively.
    292292
    293293A full account of the formalisation can be found in~\cite{cerco-report:2011}.
Note: See TracChangeset for help on using the changeset viewer.