\documentclass{scrreprt}

\usepackage[T1]{fontenc}
\usepackage{tabularx}
\usepackage{booktabs}
\usepackage{listings}
\usepackage{syntax}
\usepackage[backend=biber,style=verbose-ibid,dashed=false]{biblatex}

% Do not start chapter on a new page.
\RedeclareSectionCommand[
  style=section,
  indent=0pt
]{chapter}

\bibliography{credits}

\title{The programming language Elna}
\author{Eugen Wissner}

\begin{document}

\maketitle
\tableofcontents

\addchap{Introduction}

Elna is a simple, imperative, low-level programming language.

It is intendet to accompany other languages in the areas, where a high-level
language doesn't fit well. It is also supposed to be an intermediate
representation for a such high-level hypothetical programming language.

\addchap{Credits}

Since Elna syntactically resembles Oberon larger parts of this specification
are derived from the Oberon report\footnote{\cite[]{oberon}}.

\include{language}
\include{type-system}
\include{appendix}

% \addcontentsline{toc}{chapter}{References}
\printbibliography[heading=bibintoc, title=References]{}

\end{document}