diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2018-06-28 13:33:17 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2018-06-28 13:33:17 +0900 |
commit | 19417af3ccd9a09229c372d5c0380ef0f83049b8 (patch) | |
tree | d20702064186a27bba91271ac2119eb3afea4c7e /info.rkt | |
parent | 4f656fd196e58ef935900717444962cb26a05d2e (diff) |
Use amb operator
Diffstat (limited to 'info.rkt')
-rw-r--r-- | info.rkt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/info.rkt b/info.rkt new file mode 100644 index 0000000..2af8b3b --- /dev/null +++ b/info.rkt @@ -0,0 +1,2 @@ +#lang info +(define deps '("base" "gui-lib" "https://github.com/tojoqk/tojoqk-amb.git")) |