8.15.0.10
3 Extended Exercises🔗ℹ
Link to this section with
@secref["fri-mor" #:doc '(lib "redex/redex.scrbl")]
Link to this section with
@secref["fri-mor" #:doc '(lib "redex/redex.scrbl")]
This section offers some Redex challenges of varying complexity. They are broken
up into separate sections, alternating between problems and sample solutions.