From 3398b403c53401d8161555c848f06bc65d045407 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 22 Sep 2009 13:23:27 -0400 Subject: Basic arithmetic working with interpretation --- tests/jscomp.ur | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 tests/jscomp.ur (limited to 'tests/jscomp.ur') diff --git a/tests/jscomp.ur b/tests/jscomp.ur new file mode 100644 index 00000000..a11c0088 --- /dev/null +++ b/tests/jscomp.ur @@ -0,0 +1,10 @@ +fun main () = + s <- source ""; + + return +
+ +