15 commits

Author	SHA1	Message	Date
faldor20	56481dc724	clippy and comments ... comments and clippy	2024-03-17 20:33:30 +10:00
faldor20	089c499fc6	fixed types so tests are happy	2024-03-17 20:33:30 +10:00
faldor20	46122262ff	splitup record decoder	2024-03-17 20:33:30 +10:00
faldor20	17599ec911	cleanup ... fix error cleanup	2024-03-17 20:33:30 +10:00
faldor20	2565580db5	working initial implementation	2024-03-15 13:31:11 +10:00
Richard Feldman	2b4d0d080b	Use Variable::U64 over Variable::NAT	2024-01-26 16:23:20 -05:00
Richard Feldman	502b0fddf2	Remove Nat from Hash, Inspect, Encode, Decode	2024-01-26 16:17:05 -05:00
Bryce Miller	cb08225bf0	| -> where	2023-06-05 20:19:00 -04:00
Bryce Miller	33c2b9dfdd	has -> implements in comments	2023-05-26 20:37:02 -04:00
Bryce Miller	dbc0204532	abilities syntax has -> implements	2023-05-24 21:30:16 -04:00
Ayaz Hafiz	db3698c33c	Fix code guards	2023-03-23 11:53:43 -05:00
Ayaz Hafiz	f9f90a3684	Lints	2023-03-22 16:58:12 -05:00
Ayaz Hafiz	4d3bda51e1	Define naturality of tuple indices	2023-03-22 16:55:23 -05:00
Ayaz Hafiz	cb5a21cb20	Derive decoding for tuples	2023-03-22 16:43:52 -05:00
Ayaz Hafiz	e96be7c746	Factor out decoders into separate files	2023-03-22 12:29:21 -05:00