Mercurial > hg > Members > Moririn
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 |
Fri, 29 Dec 2017 18:29:01 +0900 | ryokka | pop2 and get2 in agda |