From dd6e7d3895ffed07869aa8ec6a51abaf9c602ca9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 10 May 2009 10:13:41 -0400 Subject: Use Ur/Web library .mlb --- src/compiler.mlb | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 src/compiler.mlb (limited to 'src/compiler.mlb') diff --git a/src/compiler.mlb b/src/compiler.mlb new file mode 100644 index 00000000..83212484 --- /dev/null +++ b/src/compiler.mlb @@ -0,0 +1,5 @@ +$(SML_LIB)/basis/basis.mlb + +urweb.mlb + +main.mlton.sml -- cgit v1.2.3