abstract.tex

% !TEX root = livelits-paper.tex

%% no citations in Abstract
%%
%% \cite{popl-paper}

\begin{abstract}
    The hazelnut assistant calculus provides an extensible framework for type- and value-directed completion and refactoring support in a structured editing context.
\end{abstract}