From: June Gardner Date: Fri, 5 Dec 2025 08:00:16 +0000 (-0800) Subject: Formatting. X-Git-Url: https://where.june.codes/?a=commitdiff_plain;h=38b71c7422f70bf4a5634eb8181885c58d716a6e;p=june.codes Formatting. --- 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.