agora

774 commits 2 branches 0 tags 5.9 MiB

Author	SHA1	Message	Date
Hongrui Fang	fec449ceb5	use v2 types	2022-08-15 21:41:31 +08:00
Hongrui Fang	b6a30b9ea9	speed up test execution by precompiling scripts x250 faster!	2022-08-12 05:01:35 +08:00
Hongrui Fang	33e4ed037e	fix compilation errors	2022-08-12 04:56:19 +08:00
Hongrui Fang	b76b5c6ec6	fix existing tests	2022-07-11 23:10:19 +08:00
Seungheon Oh	e037f3f5f0	Moved samples to PCB * Cleaner imports	2022-06-17 12:35:33 -05:00
Seungheon Oh	8e9dd16613	`countingVote`,`create`,`startVoting` to `execute`,`create`,`vote` Let's embrace consistancy between Haskell types and Plutarch types.	2022-06-16 13:28:55 -05:00
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
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

Renamed from agora-sample/Sample/Effect/GovernorMutation.hs (Browse further)