4 Commits

Author	SHA1	Message	Date
Lorenzo Volpi	3b6b1f0112	reworked data model	2024-04-11 12:14:52 +02:00
Lorenzo Volpi	f1c6b0c29c	update trailing char	2024-04-11 12:14:51 +02:00
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