## Mercurial > hg > Members > atton > delta_monad

### log

Find changesets by keywords (author, files, the commit message), revision
number or hash, or revset expression.

age | author | description |
---|---|---|

Sun, 09 Nov 2014 12:04:20 +0900 | Yasutaka Higa | Mini refactor PairDelta |

Sun, 09 Nov 2014 11:39:07 +0900 | Yasutaka Higa | Define pretty-print for Delta |

Sat, 01 Nov 2014 15:19:04 +0900 | Yasutaka Higa | Rename to Delta from Similar |

Fri, 24 Oct 2014 14:08:50 +0900 | Yasutaka Higa | Proof Monad-law-3 (haskell) |

Sun, 19 Oct 2014 17:41:51 +0900 | Yasutaka Higa | Proof monad-law-h-2, trying monad-law-h-3 |

Sun, 19 Oct 2014 16:17:46 +0900 | Yasutaka Higa | Add Haskell style Monad-laws and Proof Monad-laws-h-1 |

Sun, 19 Oct 2014 16:00:52 +0900 | Yasutaka Higa | Add Comments |

Sun, 19 Oct 2014 15:53:55 +0900 | Yasutaka Higa | Proof Functor-laws |

Sun, 19 Oct 2014 12:22:54 +0900 | Yasutaka Higa | Use level in basic/list |

Sat, 18 Oct 2014 14:22:34 +0900 | Yasutaka Higa | Proof Monad-law-4 |

Sat, 18 Oct 2014 14:15:13 +0900 | Yasutaka Higa | Proof Monad-law-2-2 |

Sat, 18 Oct 2014 14:13:00 +0900 | Yasutaka Higa | Proof Monad-law-2-1 |

Sat, 18 Oct 2014 14:04:33 +0900 | Yasutaka Higa | Proof Monad-law 1 |

Sat, 18 Oct 2014 13:52:18 +0900 | Yasutaka Higa | Expand monad-law 1 |

Sat, 18 Oct 2014 13:38:29 +0900 | Yasutaka Higa | Proof list-associative |

Tue, 07 Oct 2014 15:32:11 +0900 | Yasutaka Higa | Expand monad-law-1 |

Tue, 07 Oct 2014 15:09:17 +0900 | Yasutaka Higa | Apply level to some functions |

Tue, 07 Oct 2014 14:55:40 +0900 | Yasutaka Higa | Split basic functions to file |

Tue, 07 Oct 2014 14:53:56 +0900 | Yasutaka Higa | Define Monad-law 1-4 |

Tue, 07 Oct 2014 14:43:33 +0900 | Yasutaka Higa | Define Similar in Agda |

Tue, 07 Oct 2014 10:38:57 +0900 | Yasutaka Higa | Define List in Agda |

Tue, 07 Oct 2014 10:38:37 +0900 | Yasutaka Higa | Update hgignore |

Tue, 30 Sep 2014 14:10:26 +0900 | Yasutaka Higa | Define similar constructor for different element |

Fri, 26 Sep 2014 15:02:23 +0900 | Yasutaka Higa | Imporve Similar definition. delete "Single" constructor |

Tue, 23 Sep 2014 17:27:11 +0900 | Yasutaka Higa | Define Similar sample |

Tue, 23 Sep 2014 10:38:53 +0900 | Yasutaka Higa | Define Similar as Applicative |

Mon, 22 Sep 2014 23:26:51 +0900 | Yasutaka Higa | Define Similar as Monad by mu |

Mon, 22 Sep 2014 21:04:32 +0900 | Yasutaka Higa | Try define Similar as Monad |

Tue, 09 Sep 2014 16:21:22 +0900 | Yasutaka Higa | Define Similar as Applicative |

Tue, 09 Sep 2014 13:29:43 +0900 | Yasutaka Higa | Improve mu definition |