programming.tex

\section{Programming in $\source$}

% Types, definitions
% data structures, pattern matching, well founded definitions
% parameters, indices, inductive families