Do the following, in order.
Optionally do the following:
Verify that the examples
AndandOrusingdefine-syntax-rulefrom macros work in#lang plait. You'll have to rewrite the tests.Is there any point porting
check-failto#lang plait? Why or why not?Verify that the example
Let^from macros usingdefine-syntaxworks in plait. You'll have to update the tests again.