8 commits

Author	SHA1	Message	Date
Emily Martins	5049441dfc	flake: bump plutarch, fix resulting issues ... Collection of things fixed: - `agora-test`: Fix compile resulting from some changes to hackage. - `agora-benchmark`: Switched to `plutarch`-style `evalScript`. - CI: Ported over new flake changes. This is quite a mess.	2022-06-03 23:23:00 +02:00
fanghr	7b3fd9b076	update purescript bridge	2022-05-25 21:43:07 +08:00
fanghr	ea4f3c1ce0	update purescript bridge	2022-05-14 01:04:16 +08:00
fanghr	a09448cd5a	fix lint/tag; run linter	2022-05-13 20:30:11 +08:00
fanghr	c4ee24461e	add make ps_bridge subcommand	2022-05-13 20:23:10 +08:00
fanghr	8c5f10279e	generate purescript stuff	2022-05-13 20:08:48 +08:00
fanghr	70367702fb	add all agora types	2022-05-13 20:03:17 +08:00
fanghr	68f4bd5498	setup bridge target	2022-05-13 18:08:57 +08:00