Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit 1868e925 authored by Michael Kohlhase's avatar Michael Kohlhase

more documetation

parent 8bc4ca41
......@@ -156,7 +156,19 @@ and linearize it into \mmt (\lstinline[language={}]{l -cat=MMT}):
or something logically equivalent.
We have started a grammar \lstinline|Math.gf|/\lstinline|MathEng.gf| which can partially
do that. Here are some limitations and problems: What to do about
do that. They add \lstinline|MathLex.gf| and \lstinline|MathLexEng.gf| in
Figure~\ref{fig:mathlex} to the grammars \lstinline|Lang.gf|/\lstinline|LangEng.gf| from
the GF distribution.
\begin{figure}[ht]\centering
\begin{tabular}{|p{5cm}|p{8cm}|}\hline
\lstinputlisting[language=GF]{MathLex.gf} &
\lstinputlisting[language=GF]{MathLexEng.gf}\\\hline
\end{tabular}
\caption{Mathematical Lexicon}\label{fig:mathlex}
\end{figure}
Here are some limitations and problems: What to do about
\begin{enumerate}
\item \nlex{an integer $n$}, i.e. apposition-like things.
\item \nlex{is called prime} this may be a math idiom.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment