Riley Bruins cf302b07d1 fix(query): don't add copies for quantifier steps outside alternations		2026-03-04 10:32:50 +01:00
..
src	fix(query): don't add copies for quantifier steps outside alternations	2026-03-04 10:32:50 +01:00
theme	docs: add favicon and logo	2024-12-25 21:23:36 -05:00
.gitignore	docs: migrate to mdbook	2024-12-24 20:54:59 -05:00
book.toml	treewide: add taplo config and reformat toml files	2026-02-18 00:59:34 -05:00
package.nix	refactor: rework nix flake	2025-09-09 03:03:35 -04:00