Commit graph

7 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
Emily Martins
0348f72499 add and fix haddock doc comments 2022-06-02 16:28:14 +02:00
Seungheon Oh
632ac6dc47 Use native expected function 2022-06-01 12:28:21 -05:00
Seungheon Oh
00bc19bf80 added Docstrings
Emily's suggestions
2022-06-01 10:35:39 -05:00
Seungheon Oh
339dad0165 Removed Apropos 2022-05-31 12:32:12 -05:00
Seungheon Oh
8c312a46bd Replaced Apropos Property testing with PQ and PCB for MultiSig 2022-05-31 12:09:19 -05:00
Seungheon Oh
b65bc5a20d Restructure
`agora-spec` and `agora-spec` is merged to be `agora-specs`;
`agora-testlib` contains what previously was `Spec.Specification`.
2022-05-30 13:30:25 -05:00