#lang setup/infotab ;; sigs is the original version of Shriram's signature library. We'll ;; be patching it anyway, so don't compile this source file. (define compile-omit-paths '("sigs.rkt"))