7 commits

Author	SHA1	Message	Date
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