Mercurial > hg > Members > Moririn

diff Todo.txt @ 553:7d9af1d4b5af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add compareTri
author ryokka
date Mon, 26 Mar 2018 17:50:04 +0900
parents 5f684d39832e
children 8777baeb90f8
line wrap: on
line diff
--- a/Todo.txt	Thu Jan 18 10:38:55 2018 +0900
+++ b/Todo.txt	Mon Mar 26 17:50:04 2018 +0900
@@ -1,3 +1,10 @@
+Mon Mar 26 17:43:06 JST 2018
+
+    Decidable を使って Compare の場合分けを行う
+    Decidable を使うと Eq から x ≡ y の証明を取り出すことができる
+    場合分けには Trichotomous を使う
+    compareTri を完成させる               
+
 Fri Jan  5 16:43:26 JST 2018
 
     unbalanced binary search tree の動作を調べる