Seungheon Oh 20e4f56e10 Moved Agora.Record to Plutarch.Extra.Record ... Since `Agora.Record` provides a general utility for easy construction of Plutarch record types, they can be moved to `liqwid-plutarch-extra` to be used abroad.		2022-05-30 09:02:07 -05:00
..
Agora	Moved Agora.Record to Plutarch.Extra.Record	2022-05-30 09:02:07 -05:00
PPrelude.hs	flake: bump plutarch-extra fork	2022-04-27 12:53:53 +02:00