log Putil.agda @ 161:047efc82be47

age author description
2020-11-22 Shinji KONO sized fresh list
2020-09-14 Shinji KONO FLinsert-mb
2020-09-07 Shinji KONO ...
2020-09-05 Shinji KONO ...
2020-09-05 Shinji KONO ...
2020-09-04 Shinji KONO ...
2020-09-02 Shinji KONO ...
2020-09-01 Shinji KONO ...
2020-09-01 Shinji KONO FL iso done
2020-09-01 Shinji KONO ...
2020-09-01 Shinji KONO ...
2020-09-01 Shinji KONO ...
2020-09-01 Shinji KONO ...
2020-09-01 Shinji KONO ...
2020-09-01 Shinji KONO ... bad approach
2020-09-01 Shinji KONO FL→iso done
2020-09-01 Shinji KONO ...
2020-08-31 Shinji KONO ...
2020-08-31 Shinji KONO ...
2020-08-31 Shinji KONO ...
2020-08-31 Shinji KONO ...
2020-08-30 Shinji KONO p=0
2020-08-29 Shinji KONO pins done
2020-08-29 Shinji KONO ...
2020-08-29 Shinji KONO ...
2020-08-29 Shinji KONO ...
2020-08-29 Shinji KONO ...
2020-08-28 Shinji KONO ...
2020-08-28 Shinji KONO ...
2020-08-28 Shinji KONO ...
2020-08-28 Shinji KONO ...
2020-08-27 Shinji KONO tc fix
2020-08-26 Shinji KONO (x : Permutation 1 1 ) → x =p= pid
2020-08-26 Shinji KONO ...
2020-08-26 Shinji KONO plist0
2020-08-26 Shinji KONO ...
2020-08-25 Shinji KONO 3rot
2020-08-25 Shinji KONO ...
2020-08-24 Shinji KONO ∀-FL : (n : ℕ ) → List (FL (suc n))
2020-08-24 Shinji KONO ...
2020-08-24 Shinji KONO ...
2020-08-24 Shinji KONO postulate
2020-08-24 Shinji KONO ...
2020-08-24 Shinji KONO ...
2020-08-24 Shinji KONO another shrink
2020-08-24 Shinji KONO perm→FL done. pprep fix.
2020-08-23 Shinji KONO ...
2020-08-23 Shinji KONO ...
2020-08-23 Shinji KONO shrink worked
2020-08-23 Shinji KONO ...
2020-08-23 Shinji KONO ...
2020-08-23 Shinji KONO ...
2020-08-23 Shinji KONO connected
2020-08-23 Shinji KONO ...
2020-08-23 Shinji KONO ...
2020-08-23 Shinji KONO ...
2020-08-22 Shinji KONO remove (fromℕ≤ a<sa) perm is no good
2020-08-21 Shinji KONO cleanup base Symmetric.agda@267fc875c5ba