Hongrui Fang
91f7118ec3
parameterize scripts over AgoraScripts
2022-08-12 05:01:34 +08:00
Seungheon Oh
3af4a7438a
remove Agora.MultiSig
2022-08-03 23:42:21 +08:00
Emily Martins
58c0896bb6
remove purescript-bridge generated files
2022-06-22 21:57:25 +02:00
Emily Martins
ad9da8e6b3
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
c319169bea
update purescript bridge
2022-05-25 21:43:07 +08:00
fanghr
26614a2e9f
update purescript bridge
2022-05-14 01:04:16 +08:00
fanghr
a90b2337dc
fix lint/tag; run linter
2022-05-13 20:30:11 +08:00
fanghr
b363b326f3
add make ps_bridge subcommand
2022-05-13 20:23:10 +08:00
fanghr
b04817b867
generate purescript stuff
2022-05-13 20:08:48 +08:00
fanghr
538e809d2c
add all agora types
2022-05-13 20:03:17 +08:00
fanghr
9a26439397
setup bridge target
2022-05-13 18:08:57 +08:00
