log

age author description
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