From 38b71c7422f70bf4a5634eb8181885c58d716a6e Mon Sep 17 00:00:00 2001 From: June Gardner Date: Fri, 5 Dec 2025 00:00:16 -0800 Subject: [PATCH] Formatting. --- docs/log/december-adventure/index.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/log/december-adventure/index.md b/docs/log/december-adventure/index.md index 98821f8..c850574 100644 --- a/docs/log/december-adventure/index.md +++ b/docs/log/december-adventure/index.md @@ -77,6 +77,7 @@ Had a lovely conversation with someone I'd call a mentor today. Got me thinking Some passive trauma processing occurred. Overall, good day! Things I did today: + * [Modeled an example Alloy/TLA+ problem in Nova.](https://gist.nouveau.community/june/9d69279159104de09ca964654e92c4ef) * Started visualizing Nova rules using Graphviz. * Half-finished a linear time search algorithm for Nova using 3 stacks. -- 2.39.5