log work.agda @ 792:5c6945d527a5

age author description
2023-10-02 Moririn test
2023-08-21 Mori fix findRBT
2023-07-10 Moririn te