diff -r dd4873f402d2 -r 8e71b315fca2 core/man.org --- a/core/man.org Fri Sep 20 20:00:07 2024 -0400 +++ b/core/man.org Sun Sep 22 21:29:45 2024 -0400 @@ -48,8 +48,14 @@ our core insulated (but not completely isolated) from applications. ** On Lisp +:PROPERTIES: +:ID: 44119d2d-9de4-4091-9821-1450bc8138fd +:END: ** On Rust +:PROPERTIES: +:ID: a5eb63a1-9194-49d9-946b-23f687893f67 +:END: * Overview :PROPERTIES: