10 commits

Author	SHA1	Message	Date
Agus Zubiaga	cfc4be5254	Treat untyped suffixed functions as effectful	2024-11-07 18:54:21 -03:00
Agus Zubiaga	28f35edb2c	Add Pure/Effectful content to checkmate	2024-11-07 18:54:19 -03:00
Agus Zubiaga	7776883262	Unify functions fx vars	2024-11-07 18:54:13 -03:00
Agus Zubiaga	5a5abe3bc5	Unify call's fx var with that of the enclosing function	2024-11-07 18:54:12 -03:00
JRI98	edd0bb553d	Remove unused EmptyTuple variant from FlatType enum	2024-10-22 16:29:53 +01:00
Ayaz Hafiz	8b7823a237	Fix types	2023-07-17 10:10:50 -05:00
Ayaz Hafiz	358681a464	Generate schema for checkmate	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	d6c24accef	Schema unification mode	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	1df2e942a2	Add a collector of unification + solve events	2023-07-17 09:47:57 -05:00
Ayaz Hafiz	40223a697d	First pass of checkmate schema	2023-07-17 09:47:57 -05:00