diff options
| author | Camil Staps | 2016-06-07 15:51:04 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-07 15:51:04 +0200 |
| commit | a82dc42e7c07fa47d2dab0cbe26a31e080ae9952 (patch) | |
| tree | f2f7ec0b7851bfc4ed1887f66c254904e7b27487 /paper/ftypes.tex | |
| parent | Finishing first version paper (diff) | |
Processed feedback
Diffstat (limited to 'paper/ftypes.tex')
| -rw-r--r-- | paper/ftypes.tex | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/paper/ftypes.tex b/paper/ftypes.tex index 803182f..8561b51 100644 --- a/paper/ftypes.tex +++ b/paper/ftypes.tex @@ -1,8 +1,5 @@ \section{Used functions and types} \label{sec:ftypes} -The following functions are considered known. If not, looking them up is easy -using Cloogle~\citep{cloogle}. - \lstinputlisting[firstline=5,lastline=23,xleftmargin=0pt]{While/Common.dcl} \lstinputlisting[firstline=34,lastline=34,xleftmargin=0pt]{While/Common.dcl} |