Sat, 27 Apr 2019 10:10:40 +0900 |
Shinji KONO |
add <= and <,>
|
Sat, 27 Apr 2019 08:42:45 +0900 |
Shinji KONO |
Added tag graph-to-ccc for changeset 4ff300e1e98c
|
Sat, 27 Apr 2019 08:42:36 +0900 |
Shinji KONO |
graph to CCC done
|
Sat, 27 Apr 2019 07:09:35 +0900 |
Shinji KONO |
...
|
Fri, 26 Apr 2019 22:53:57 +0900 |
Shinji KONO |
...
|
Fri, 26 Apr 2019 21:24:12 +0900 |
Shinji KONO |
<_,_> as function on Sets
|
Fri, 26 Apr 2019 19:50:27 +0900 |
Shinji KONO |
...
|
Fri, 26 Apr 2019 18:24:07 +0900 |
Shinji KONO |
termination on fmap failed
|
Fri, 26 Apr 2019 16:54:18 +0900 |
Shinji KONO |
...
|
Thu, 25 Apr 2019 17:56:30 +0900 |
Shinji KONO |
...
|
Thu, 25 Apr 2019 12:22:03 +0900 |
Shinji KONO |
fix
|
Thu, 25 Apr 2019 10:37:27 +0900 |
Shinji KONO |
simpler graph to category
|