log src/system-t.agda @ 1110:45de2b31bf02

age author description
Sat, 07 Oct 2023 19:43:31 +0900 Shinji KONO add original library and fix for safe mode
Mon, 21 Dec 2020 16:40:15 +0900 Shinji KONO reorganization for apkg base system-t.agda@672378aa0306