add info.rkt