[acl2/acl2] bc2a3f: [C$] Update json-rpc interface README

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: bc2a3f918ae46a13a6907e46c879fe76e4e0dfa3
https://github.com/acl2/acl2/commit/bc2a3f918ae46a13a6907e46c879fe76e4e0dfa3
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-07-08 (Wed, 08 Jul 2026)

Changed paths:
M books/kestrel/c/transformation/json-rpc/README.md

Log Message:
-----------
[C$] Update json-rpc interface README



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications