4 commits

Author	SHA1	Message	Date
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	daaa54b6f0	add n_ary operators	2022-06-17 14:53:27 +02:00