12 Commits

Author	SHA1	Message	Date
Ivan	894c04de27	B: Allow decartian emptyset	2024-09-25 23:07:12 +03:00
Ivan	daff622090	F: Add check for nonsensical emptyset uses	2024-09-25 22:43:35 +03:00
Ivan	6860706e7a	R: Change check-constituenta to use string representation of CstType	2024-09-22 19:47:55 +03:00
Ivan	c8578447f3	F: Improve typechecking API for CstTypes expectations	2024-09-22 18:54:19 +03:00
IRBorisov	093e2d23fd	Fix typechecking issues and update pyconcept	2024-06-14 20:42:20 +03:00
IRBorisov	a4d5aa353f	pyconcept version up	2024-05-13 12:03:20 +03:00
IRBorisov	fd92ef6797	Rebuild pyconcept with updated ccl	2024-05-10 01:43:36 +03:00
IRBorisov	c04a9c84e1	Allow EmptySet as standalone typed expression	2024-05-08 02:14:17 +03:00
IRBorisov	a91ff72a4f	Improve package build system	2024-04-18 15:02:46 +03:00
IRBorisov	b4d56cbd30	Update VERSION	2024-04-17 22:03:31 +03:00
IRBorisov	a20102800e	Prepare pyconcept Windows package build	2024-04-17 14:43:14 +03:00
IRBorisov	9c09995d17	Initial commit	2024-04-15 22:16:14 +03:00