4 commits

Author	SHA1	Message	Date
Ayaz Hafiz	b587bcf0c2	Implement obligation checking for the Eq ability ... Every type can have `Eq.isEq` derived for it, as long as - it does not transitively contain a function - it does not transitively contain a floating point value - it does not transitively contain an opaque type that does not support `Eq`	2022-10-12 16:37:49 -05:00
Ayaz Hafiz	55fe1df995	Add more context to derivability errors when they happen	2022-08-23 10:39:50 -05:00
Anton-4	6a15a7b41b	changed Cargo versions from 0.1.0 to 0.0.1	2022-08-03 11:41:19 +02:00
Ayaz Hafiz	0989b2cb82	Move solve problems to their own crate	2022-07-28 08:57:32 -04:00