2 Commits

Author	SHA1	Message	Date
Lorenzo Volpi	82a184dc04	binary quantifier completed, tests added. errors updated.	2024-04-11 12:14:43 +02:00
Lorenzo Volpi	51831d2180	Binary quantifier added, support added and tested.	2024-04-11 12:14:16 +02:00