10 commits

Author	SHA1	Message	Date
JRI98	90f517712a	Remove unused code	2024-12-05 09:18:52 +00:00
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
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	b3ccc905a4	Fix some checkmate bad schemas	2023-07-17 09:51:01 -05:00
Ayaz Hafiz	fcd733e1df	Dump roc checkmate	2023-07-17 09:51:01 -05:00
Ayaz Hafiz	1282110ef5	Push checkmate through load	2023-07-17 09:51:00 -05:00
Ayaz Hafiz	271d2a3219	Refactor the schema for granularity	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	358681a464	Generate schema for checkmate	2023-07-17 09:50:37 -05:00