[plt-scheme] Understanding PLT Redex and R6RS Formal Semantics?

From: Grant Rettke (grettke at acm.org)
Date: Thu Feb 19 14:56:20 EST 2009


I haven't got a clue as to where to even begin understanding what PLT
Redex solves or how to use it in understanding the R6RS formal

What is this area of study and where does a person start with this stuff?

Best wishes,


Posted on the users mailing list.