[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

Hi,

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
semantics.

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

Best wishes,

Grant


Posted on the users mailing list.