log

age author description
2014-11-19 Yasutaka Higa Trying redefine monad-laws-1
2014-11-19 Yasutaka Higa Redefine Delta for infinite changes in Agda
2014-11-19 Yasutaka Higa Trying redefine delta for infinite changes
2014-11-19 Yasutaka Higa Adjust function name
2014-11-19 Yasutaka Higa Define Delta for Infinite changes in Haskell
2014-11-19 Yasutaka Higa Fix typo
2014-11-19 Yasutaka Higa Added tag PairDelta for changeset 0c2d758406b1
2014-11-17 Yasutaka Higa Wrote bubble sort with modified calculate
2014-11-17 Yasutaka Higa Wrote >>= style bubble sort
2014-11-11 Yasutaka Higa Implement bubble sort by delta
2014-11-11 Yasutaka Higa Define bubble sort
2014-11-09 Yasutaka Higa Mini refactor PairDelta
2014-11-09 Yasutaka Higa Define pretty-print for Delta
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