diff options
author | Camil Staps | 2016-06-03 00:39:37 +0200 |
---|---|---|
committer | Camil Staps | 2016-06-03 00:39:37 +0200 |
commit | 6ecadcb8571712536f9d121264f67f30f7bb0147 (patch) | |
tree | 0542e10ca752f538195095713ca786ab494335b6 /paper/ftypes.tex | |
parent | Update example program (diff) |
First version almost finished
Diffstat (limited to 'paper/ftypes.tex')
-rw-r--r-- | paper/ftypes.tex | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/paper/ftypes.tex b/paper/ftypes.tex new file mode 100644 index 0000000..fda4152 --- /dev/null +++ b/paper/ftypes.tex @@ -0,0 +1,8 @@ +\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]{While/Common.dcl} +\lstinputlisting[firstline=34]{While/Common.dcl} |