redex-aam-tutorial

redex-aam-tutorial copied to clipboard

Section 3.1 gives confusing prose on define-metafunction vs define-relation

2

I'm following along typing everything, and hit a minor snag. Section 3.1 gives two alternative definitions of `unique` and suggests they are equivalent: > ``` racket > (define-metafunction REDEX >...

csgordon

mdempsky