diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-06-21 23:37:49 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-06-21 23:42:39 -0700 |
commit | 6a0f71b9f89df0940a342cd2c91d246cecc18bdf (patch) | |
tree | 9e5a926941a0be71e477bf6fe31ac48bc816d295 /mouse.mu | |
parent | 45c08fea47de1a23ce98f4fc7a1c5c3bed92b5fb (diff) | |
download | mu-6a0f71b9f89df0940a342cd2c91d246cecc18bdf.tar.gz |
1617
Diffstat (limited to 'mouse.mu')
-rw-r--r-- | mouse.mu | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/mouse.mu b/mouse.mu deleted file mode 100644 index 0621b306..00000000 --- a/mouse.mu +++ /dev/null @@ -1,11 +0,0 @@ -# example program: managing the display - -recipe main [ - switch-to-display - { - _, found?:boolean <- read-keyboard-or-mouse-event - break-if found?:boolean - loop - } - return-to-console -] |