Closed jackfirth closed 4 years ago
This pull request cleans up files using the file-level (module ...) mechanism to instead use #lang. Then the files were reindented using DrRacket's default indenting preferences.
(module ...)
#lang
This pull request cleans up files using the file-level
(module ...)mechanism to instead use#lang. Then the files were reindented using DrRacket's default indenting preferences.