5 Commits

Author	SHA1	Message	Date
Balazs Komuves	dfe5239fcb	Haskell: minor refactoring to help debugging (by which I mean debugging the Nim one...)	2025-03-16 20:10:19 +01:00
Balazs Komuves	4a8f564ba9	update Haskell to handle the "new" (previously missing from upstream) unary operations	2025-03-15 13:50:56 +01:00
Balazs Komuves	8fcef5c1c4	export the witness (Haskell)	2025-03-14 17:24:05 +01:00
Balazs Komuves	b7f036848d	parse JSON input files (in Haskell)	2025-03-14 17:05:39 +01:00
Balazs Komuves	dcdfa24ca4	put the haskell code under a subdirectory	2025-03-14 12:06:32 +01:00