Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Wed, 28 Jun 2017 05:51:32 +0900 | Tatsuki IHA | Merge |
Wed, 28 Jun 2017 05:48:39 +0900 | Tatsuki IHA | Add synchronized queue of paper |
Tue, 27 Jun 2017 01:29:43 +0900 | Nozomi Teruya | add bitonic_sort but not work |