Sam Tobin-Hochstadt

## Summary - add GitHub actions workflow testing both x64 and arm64 - move test libs to `build-deps` - extend expect-based test suite with PB adr and interp cases -...

Runtime error running fmt

3

This is at current head of samth/recspecs,ce25f983c7fece4cdf216159b609484c03d8b39a ``` 789d993ae6da:/workspace/recspecs# ../racket/bin/raco fmt -i recspecs-lib/ma in.rkt root@789d993ae6da:/workspace/recspecs# ../racket/bin/raco fmt -i recspecs/main.s crbl recspecs/tests/capture-output.rkt recspecs/tests/ocaml-tests.rkt recspecs/t ests/property-capture-output.rkt recspecs/tests/stderr.rkt string-contains?: contract violation expected: string?...

Redex long tutorial beta-eta equivalence is false

13

Consider the following term in the language of `Lambda` from https://docs.racket-lang.org/redex/redex2015.html : `((lambda () ((lambda (x) 1))) 2)`. This term is not beta-equivalent to anything, because it's stuck. But it...

### Preflight Checklist - [x] I have searched [existing issues](https://github.com/anthropics/claude-code/issues?q=is%3Aissue%20state%3Aopen%20label%3Abug) and this hasn't been reported yet - [x] This is a single bug report (please file separate reports for different...