{"size": 318, "ext": "scrbl", "max_stars_repo_path": "htdp-doc/scribblings/htdp-langs/htdp-ptr.scrbl", "max_stars_repo_name": "bdeket/htdp", "max_stars_repo_stars_event_min_datetime": "2015-01-14T20:28:41.000Z", "max_stars_repo_stars_event_max_datetime": "2022-03-20T04:04:26.000Z", "max_issues_repo_path": "htdp-doc/scribblings/htdp-langs/htdp-ptr.scrbl", "max_issues_repo_name": "bdeket/htdp", "max_issues_repo_issues_event_min_datetime": "2015-01-14T19:50:21.000Z", "max_issues_repo_issues_event_max_datetime": "2022-02-19T21:38:00.000Z", "max_forks_repo_path": "htdp-doc/scribblings/htdp-langs/htdp-ptr.scrbl", "max_forks_repo_name": "bdeket/htdp", "max_forks_repo_forks_event_min_datetime": "2015-01-14T19:11:38.000Z", "max_forks_repo_forks_event_max_datetime": "2022-03-24T05:11:39.000Z"}
{"max_stars_count": 85, "max_issues_count": 132, "max_forks_count": 81, "avg_line_length": 26.5, "max_line_length": 79, "alphanum_fraction": 0.6603773585}
#lang scribble/base
@(require scribble/core
          net/url
          scribble/html-properties)

@(define redirect
   (style #f (list (part-link-redirect (string->url "http://www.htdp.org/")))))

@title[#:style redirect]{@italic{How to Design Programs}}

See @hyperlink["http://www.htdp.org/"]{the book's web site}.
