6 commits

Author	SHA1	Message	Date
Hongrui Fang	fa25ca21a2	add tests for governor mutation	2022-07-21 22:41:22 +08:00
Hongrui Fang	eba58106f3	add tests for minting GST	2022-07-19 22:48:02 +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
Emily Martins	0348f72499	add and fix haddock doc comments	2022-06-02 16:28:14 +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-spec/Spec/Governor.hs (Browse further)