Forgot example.tex

edwinb · Dec 18, 2010 · ee20292 · ee20292
1 parent 819e50e
commit ee20292
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Papers/Epic/example.tex b/Papers/Epic/example.tex
@@ -0,0 +1,7 @@
+\section{Example High Level Languages}
+
+% Two different examples. Perhaps:
+% * a LOGO like language (foreign functions, graphics, dynamic types?)
+% * dependent types with natelim (e.g. adder)
+
+[Give high level translation, rather than concrete Haskell]