tab-objects-to-terms.tex

% !TEX root = 2p-kt-talk.tex
\centering
%
\begin{adjustbox}{width=.4\linewidth} 
    \begin{tabular}{c|c}
        \textbf{OOP Type} & \textbf{LP Type}\\
        \hline\hline
        \kt{Nothing} & \kt{NullRef} \\
        \hline
        \kt{BigInteger} & \kt{Integer} \\
        \hline
        \kt{Long} & \kt{Integer} \\
        \hline
        \kt{Int} & \kt{Integer} \\
        \hline
        \kt{Short} & \kt{Integer} \\
        \hline
        \kt{Byte} & \kt{Integer} \\
        \hline
        \kt{BigDecimal} & \kt{Real} \\
        \hline
        \kt{Double} & \kt{Real} \\
        \hline
        \kt{Float} & \kt{Real} \\
        \hline
        \kt{String} & \kt{Atom} \\
        \hline
        \kt{Char} & \kt{Atom} \\
        \hline
        \kt{Boolean} & \kt{Truth} \\
        \hline
        \kt{KClass} & \kt{TypeRef} \\
        \hline
        otherwise & \kt{ObjectRef} \\
    \end{tabular}
\end{adjustbox}