4 commits

Author	SHA1	Message	Date
Michael Sippel	c6bad6046a	add sugared terms & pretty printing	2025-02-09 12:38:07 +01:00
Michael Sippel	c03db48fd2	TypeID: add Copy trait	2025-02-09 12:38:04 +01:00
Michael Sippel	c7585f353a	make decoration comment style consistent	2023-10-02 15:07:42 +02:00
Michael Sippel	2f26dcc936	add term, dict & bimap	2023-10-01 17:03:47 +02:00