4 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
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