Mercurial > hg > GearsTemplate
log
age | author | description |
---|---|---|
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 |
age | author | description |
---|---|---|
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 |