Mercurial > hg > Gears > GearsAgda
log
| age | author | description |
|---|---|---|
| 2023-05-07 | Shinji KONO | ... |
| 2023-05-07 | Shinji KONO | ... we need another invariant on depth of black |
| 2023-05-06 | Shinji KONO | ... |
| 2023-05-06 | Shinji KONO | ... |
| 2023-05-05 | Shinji KONO | ... |
| 2023-05-05 | Shinji KONO | ... |
| 2023-05-05 | Shinji KONO | ... |
| 2023-05-04 | Shinji KONO | ... |
| 2023-05-04 | Shinji KONO | ... |
| 2023-05-03 | Shinji KONO | ... |
| 2023-05-01 | Shinji KONO | ... |
| 2023-05-01 | Shinji KONO | merge |