\documentclass[a4paper,10pt]{article}
\usepackage[american]
           {babel} % needed for iso dates
\usepackage{url}
\usepackage{lmodern}
\usepackage{listings}
\usepackage{graphicx}
\usepackage{xcolor}
\usepackage[T1]{fontenc}
\usepackage{textcomp}
\usepackage{hyperref}
\usepackage{array}
\usepackage{underscore}
\usepackage{changepage}   % for the adjustwidth environment

\hypersetup{
  hidelinks
}

\usepackage[top=2cm, bottom=2cm, left=2cm, right=2cm]{geometry}

\title{Draft of the specifications of the NoWork language}
\author{Pierre Talbot}

\begin{document}

\maketitle
\setcounter{tocdepth}{1}
\tableofcontents

\section{Introduction}

\section{Grammar}

Here the EBNF grammar of the language.

\subsection{Kind grammar}
\begin{lstlisting}
kind-kw ::= "kind"
kind-type ::= "type"
           |  "type", "->", kind-type
kind-def ::= "atom" | kind-type
kind-decl ::= kind-kw, identifier, "=", kind-def
\end{lstlisting}

\newpage
\bibliographystyle{plain}
\bibliography{references}

\end{document}
Add a specification draft for the kind type.
Add a specification draft for the kind type.
