Mercurial > hg > Members > Moririn
log
age | author | description |
---|---|---|
Fri, 29 Dec 2017 18:49:13 +0900 | Tatsuki IHA | Use main generate script for examples |
Fri, 29 Dec 2017 18:31:15 +0900 | Tatsuki IHA | Merge |
Fri, 29 Dec 2017 17:51:36 +0900 | Tatsuki IHA | Fix extern cudainit parameter |
Fri, 29 Dec 2017 17:16:24 +0900 | Tatsuki IHA | Add cudaflag if Linux |
Fri, 29 Dec 2017 19:27:39 +0900 | ryokka | proof pop2 function in agda |
Fri, 29 Dec 2017 18:29:01 +0900 | ryokka | pop2 and get2 in agda |
Fri, 29 Dec 2017 11:07:18 +0900 | ryokka | add getSingleLinkedStack,get2SingleLinkedStack. but get2SingleLinkedStack not working now |