log

age author description
2019-04-22 Shinji KONO ccc to adjunction done
2019-04-22 Shinji KONO ...
2019-04-21 Shinji KONO Hom a,b = Hom 1 b^a
2019-04-21 Shinji KONO deduction theorem using category
2019-04-21 Shinji KONO deduction theorem
2019-04-19 Shinji KONO Sets is CCC
2019-04-19 Shinji KONO CCC Hom done
2019-04-19 Shinji KONO nat in ccc-2
2019-04-18 Shinji KONO ...
2019-04-18 Shinji KONO on going CCC
2019-04-17 Shinji KONO ccc → hom on going
2019-04-17 Shinji KONO add CCC hom
2019-04-17 Shinji KONO CCC by equation
2019-03-08 Shinji KONO fix
2019-03-08 Shinji KONO fix for 2.5.4.2
2018-10-08 Shinji KONO CCC in Hom form
2018-10-06 Shinji KONO CCC start
2018-09-26 Shinji KONO fix applicative for Agda version 2.5.4.1
2018-09-26 Shinji KONO fix
2018-09-25 Shinji KONO add epi
2018-06-13 Shinji KONO exchange left and right
2018-06-13 Shinji KONO add simple category version
2017-12-29 Shinji KONO ...
2017-12-13 Shinji KONO fix
2017-12-13 shinji_kono Initial Bitbucket Pipelines configuration
2017-12-13 Shinji KONO fix
2017-12-12 Shinji KONO clean up
2017-12-12 Shinji KONO clean up
2017-12-12 Shinji KONO Added tag current for changeset c30ca91f3a76
2017-12-12 Shinji KONO Applicative all done
2017-12-11 Shinji KONO Applicative→HaskellMonoidal begin
2017-12-11 Shinji KONO Added tag current for changeset 37ddc8228832
2017-12-11 Shinji KONO monad to applicative done.
2017-12-11 Shinji KONO connected interchange
2017-12-11 Shinji KONO ...
2017-12-11 Shinji KONO ...
2017-12-11 Shinji KONO ...
2017-12-11 Shinji KONO composition connected
2017-12-11 Shinji KONO ...
2017-12-11 Shinji KONO ...
2017-12-11 Shinji KONO monad to haskell monoidal done.
2017-12-10 Shinji KONO ...
2017-12-10 Shinji KONO ...
2017-12-10 Shinji KONO connected
2017-12-10 Shinji KONO FMap remains
2017-12-10 Shinji KONO assoc start
2017-12-10 Shinji KONO yellow removed
2017-12-10 Shinji KONO yellow on idrφ
2017-12-10 Shinji KONO ...
2017-12-09 Shinji KONO ...
2017-12-08 Shinji KONO ...
2017-12-08 Shinji KONO ...
2017-12-05 Shinji KONO .. give up Monad to monoidal functor in general
2017-12-04 Shinji KONO nat-ε
2017-12-04 Shinji KONO assuming C = kleisli
2017-12-04 Shinji KONO bad case 2
2017-12-04 Shinji KONO bad case 1
2017-12-04 Shinji KONO add monad to monoidal
2017-12-04 Shinji KONO ...
2017-12-02 Shinji KONO ...