5 commits

Author	SHA1	Message	Date
simon lehericey	2d26ba3507	fix: binary operator computes false by default	2022-07-19 10:11:24 +02:00
simon lehericey	b715d1f495	Revert "Add id to term" ... This reverts commit 87385d03fd.	2022-07-06 09:44:54 +02:00
simon lehericey	350d32c369	in serialization rename op to term	2022-07-05 14:47:49 +02:00
simon lehericey	87385d03fd	Add id to term	2022-07-05 14:47:49 +02:00
simon lehericey	a98a6d6d1e	add binary operators	2022-06-17 14:53:27 +02:00