diff --git a/info.rkt b/info.rkt new file mode 100644 index 0000000..9a6d71c --- /dev/null +++ b/info.rkt @@ -0,0 +1,7 @@ +#lang info +(define collection 'multi) +(define compile-omit-paths '( + "compiled" + "icfp-2016" + "test" +))