8 commits

Author	SHA1	Message	Date
rowan	1ccb2b1b1c	v2	2025-07-03 09:34:08 -04:00
rowan	853601f2c5	wip types	2025-04-11 00:36:41 -05:00
rowan	1e09ca655f	wip interfaces	2025-04-10 04:37:45 -05:00
rowan	38343d7ec0	split monad law tests, add setoid to Option and Result	2025-04-09 23:17:38 -05:00
rowan	48a3670172	fix tests	2025-04-09 23:00:21 -05:00
rowan	35aa1c6ae9	move interfaces to their own file	2025-04-09 22:22:44 -05:00
rowan	1402219aad	overhaul monad impls	2025-03-29 06:09:49 -05:00
rowan	8d525d5392	initial commit	2025-03-26 21:28:33 -05:00