diff options
| -rw-r--r-- | cloogle.tex | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/cloogle.tex b/cloogle.tex index 711393a..70dfc78 100644 --- a/cloogle.tex +++ b/cloogle.tex @@ -285,11 +285,12 @@ \begin{description}[Syntax constructs] \small \item[Modules] 750 - \item[Functions] 15,296 - \item[Unique types] 13,570 + \item[Functions] 15,297 + \item[Unique types] 13,571 \item[Type tree depth] 8 \item[Type definitions] 2,195 \item[Classes] 262 + \item[Instances] 1958 \item[Derivations] 1,182 \item[Syntax constructs] 35 \end{description} @@ -320,7 +321,7 @@ \end{itemize} \setcounter{footnote}{1} - \footnotetext{2017-10-27} + \footnotetext{2017-10-28} \setcounter{footnote}{2} \footnotetext{On the web frontend and submodules, excluding the Clean compiler} \end{frame} |