update info.rkt and readme