diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 22:13:33 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 22:13:33 -0300 |
| commit | 5d967951eb0b08c36ee59f70d7f4cca37b0ca72b (patch) | |
| tree | f9265c6774f893f10cabc898f2838d40156b3c29 /lib/pattern.ml | |
| parent | 0886f3c71cf8551e4f8b3726654003a4f29645f0 (diff) | |
| download | SOL-5d967951eb0b08c36ee59f70d7f4cca37b0ca72b.tar.gz SOL-5d967951eb0b08c36ee59f70d7f4cca37b0ca72b.zip | |
world relation as the universe for scoped negation
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions