Mercurial > hg > Members > kono > Proof > category
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 |