From 12dfee9e3b25b846347083c404708e1995c73b33 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 23 Oct 2026 09:20:37 +0000 Subject: [PATCH] README: moved into the rce monorepo as stdlib/ Co-Authored-By: Claude Fable 5.1 Claude-Session: https://claude.ai/code/session_01PggDunUTHqKodWKEeUfK5j --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index c486f50..dad2884 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ +> **Moved (23 October 2026).** This repository now lives in [`openIE-dev/rce`](https://github.com/openIE-dev/rce) as [`stdlib/`](https://github.com/openIE-dev/rce/tree/main/stdlib), with its full history, so that it is checked from the same commit as the specification and the reference checker and can no longer drift from them. Changes go there; this repository is kept only as a pointer. + # RCE standard host libraries Cryptography written in pure RCE, for programs that run on the RCE host