Mercurial > hg > Members > kono > Proof > galois
log src/fin.agda @ 320:8fb16f9a882a
age | author | description |
---|---|---|
Tue, 19 Sep 2023 11:11:38 +0900 | Shinji KONO | ... |
Mon, 18 Sep 2023 13:19:37 +0900 | Shinji KONO | use stdlib-2.0 and safe-mode |
Sat, 16 Sep 2023 17:24:50 +0900 | Shinji KONO | use safe option |
Sat, 02 Sep 2023 12:06:39 +0900 | Shinji KONO | ... |
Sun, 11 Jun 2023 08:46:32 +0900 | Shinji KONO | fix |
Sat, 09 Jan 2021 10:18:08 +0900 | Shinji KONO | library base fin.agda@cc9478679c8f |