4 Commits

Author	SHA1	Message	Date
Evian Schlenz	242655af84	annotate random vars and small funcs	2025-12-31 01:21:27 +01:00
Evian Schlenz	44b296e6df	correctly type get_random_state	2025-12-31 00:57:12 +01:00
Evian Schlenz	c26ef953c6	Do not use mutable objects as default	2025-12-30 23:47:54 +01:00
Alex O'Connell	4407aefdf5	more synthesizing scenarios + clean up example formatting	2025-12-21 13:31:43 -05:00