Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Wed, 19 Apr 2017 18:41:57 +0900 | Tatsuki IHA | Add gears doc examples_directory |
Tue, 18 Apr 2017 19:00:23 +0900 | Tatsuki IHA | Close branch examples_directory |
Tue, 18 Apr 2017 18:59:36 +0900 | Tatsuki IHA | Merge |
Tue, 18 Apr 2017 18:58:16 +0900 | Tatsuki IHA | Add assert calc examples examples_directory |
Tue, 18 Apr 2017 06:04:22 +0900 | Tatsuki IHA | Move CUDAtwice example to examples directory examples_directory |
Tue, 18 Apr 2017 06:00:45 +0900 | Tatsuki IHA | Fix calc example examples_directory |