summaryrefslogtreecommitdiff
path: root/paper/ftypes.tex
diff options
context:
space:
mode:
authorCamil Staps2016-06-03 00:39:37 +0200
committerCamil Staps2016-06-03 00:39:37 +0200
commit6ecadcb8571712536f9d121264f67f30f7bb0147 (patch)
tree0542e10ca752f538195095713ca786ab494335b6 /paper/ftypes.tex
parentUpdate example program (diff)
First version almost finished
Diffstat (limited to 'paper/ftypes.tex')
-rw-r--r--paper/ftypes.tex8
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}