Skip to content

Commit

Permalink
formalism: Indicate domain/codomain for metafunctions
Browse files Browse the repository at this point in the history
  • Loading branch information
mirryi committed Oct 10, 2023
1 parent 9689e35 commit 1ab72fb
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions formalism/untyped.tex
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ \subsection{Cursor erasure}

\subsubsection{Type cursor erasure}
\label{sec:untyped-type-cursor-erasure}
\judgbox{\ensuremath{\cursorErase{\ZTMV}}} is a metafunction defined as follows:
\judgbox{\ensuremath{\cursorErase{\ZTMV}}} is a metafunction $\ZTMName \to \TMName$ defined as follows:
%
\newcommand{\cursorErasesToRow}[2]{\ensuremath{\cursorErase{#1} & = & #2}}
\[\begin{array}{rcl}
Expand All @@ -49,7 +49,7 @@ \subsubsection{Type cursor erasure}

\subsubsection{Expression cursor erasure}
\label{sec:untyped-expression-cursor-erasure}
\judgbox{\ensuremath{\cursorErase{\ZMV}}} is a metafunction defined as follows:
\judgbox{\ensuremath{\cursorErase{\ZMV}}} is a metafunction $\ZMName \to \EMName$ defined as follows:
%
\[\begin{array}{rcl}
\cursorErasesToRow{\ZCursor{\EMV}}{\EMV} \\
Expand Down

0 comments on commit 1ab72fb

Please sign in to comment.