added info.rkt