4 Commits

Author SHA1 Message Date
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
60b4d8d8f4
update the readme 2025-03-14 12:29:39 +01:00
Balazs Komuves
de29a073da
initial import the Haskell WIP code (parser + interpreter works on a simple example) 2025-03-13 17:55:37 +01:00