diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-03-10 17:29:03 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-10 17:29:03 -0400 |
| commit | fc1611149a6b6a4a56ae974152f16fb88ae89a6e (patch) | |
| tree | ae4fb9cd2b1daf1601ab9ad335fbb9574d372f8f /demo/noisy.urs | |
| parent | 3a94a798557f71cba0fdfdb54cdf431c44a4ef1d (diff) | |
Noisy demo
Diffstat (limited to 'demo/noisy.urs')
| -rw-r--r-- | demo/noisy.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/demo/noisy.urs b/demo/noisy.urs new file mode 100644 index 00000000..6ac44e0b --- /dev/null +++ b/demo/noisy.urs @@ -0,0 +1 @@ +val main : unit -> transaction page |