log

age author description
2020-07-20 Shinji KONO Select : (X : HOD ) → ((x : HOD ) → X ∋ x → Set n ) → HOD does not work
2020-07-20 Shinji KONO ...
2020-07-19 Shinji KONO ...
2020-07-19 Shinji KONO ...
2020-07-19 Shinji KONO ...
2020-07-19 Shinji KONO ...
2020-07-19 Shinji KONO fix Select and Replace
Loading...