log

age author description
2014-11-01 Yasutaka Higa Rename to Delta from Similar
2014-10-24 Yasutaka Higa Proof Monad-law-3 (haskell)
2014-10-19 Yasutaka Higa Proof monad-law-h-2, trying monad-law-h-3
2014-10-19 Yasutaka Higa Add Haskell style Monad-laws and Proof Monad-laws-h-1
2014-10-19 Yasutaka Higa Add Comments
2014-10-19 Yasutaka Higa Proof Functor-laws
2014-10-19 Yasutaka Higa Use level in basic/list
2014-10-18 Yasutaka Higa Proof Monad-law-4
2014-10-18 Yasutaka Higa Proof Monad-law-2-2
2014-10-18 Yasutaka Higa Proof Monad-law-2-1
2014-10-18 Yasutaka Higa Proof Monad-law 1
2014-10-18 Yasutaka Higa Expand monad-law 1
2014-10-18 Yasutaka Higa Proof list-associative
2014-10-07 Yasutaka Higa Expand monad-law-1
2014-10-07 Yasutaka Higa Apply level to some functions
2014-10-07 Yasutaka Higa Split basic functions to file
2014-10-07 Yasutaka Higa Define Monad-law 1-4
2014-10-07 Yasutaka Higa Define Similar in Agda
2014-10-07 Yasutaka Higa Define List in Agda
2014-10-07 Yasutaka Higa Update hgignore
2014-09-30 Yasutaka Higa Define similar constructor for different element
2014-09-26 Yasutaka Higa Imporve Similar definition. delete "Single" constructor
2014-09-23 Yasutaka Higa Define Similar sample
2014-09-23 Yasutaka Higa Define Similar as Applicative
2014-09-22 Yasutaka Higa Define Similar as Monad by mu
2014-09-22 Yasutaka Higa Try define Similar as Monad
2014-09-09 Yasutaka Higa Define Similar as Applicative
2014-09-09 Yasutaka Higa Improve mu definition
2014-09-06 Yasutaka Higa Similar as Monad
2014-09-06 Yasutaka Higa Define fmap and mu
2014-09-06 Yasutaka Higa Redefine Similar. reject function in data
2014-09-02 Yasutaka Higa Rename Similer -> Similar
2014-09-02 Yasutaka Higa Define sample for Monad style
2014-09-02 Yasutaka Higa Define Monad style Similer
2014-09-02 Yasutaka Higa Show ErrorMessage
2014-09-02 Yasutaka Higa Define similer function
2014-09-02 Yasutaka Higa Ignore .swp
2014-09-02 Yasutaka Higa Define samples
2014-09-02 Yasutaka Higa Rename some functions
2014-09-02 Yasutaka Higa Define Similer example as Functor
2014-08-31 Yasutaka Higa Define >>= for Similer
2014-08-31 Yasutaka Higa Reduce definition
2014-08-31 Yasutaka Higa Force Implement mu
2014-08-31 Yasutaka Higa Initial commit. define to Functor for Similer