Mercurial > hg > Gears > GearsAgda
log
| age | author | description |
|---|---|---|
| 2017-01-22 | mir3636 | fix |
| 2017-01-21 | ikkun | fix worker |
| 2017-01-21 | mir3636 | fix generate_stub |
| 2017-01-21 | mir3636 | generate stub |
| 2017-01-20 | ikkun | fix worker |
| 2017-01-17 | mir3636 | get arg |
| 2017-01-14 | Tatsuki IHA | Add dependency.graffle |
| 2017-01-13 | one | Add Todo |
| 2017-01-11 | one | Add input data gear example |
| 2017-01-11 | Tatsuki IHA | Add taskSend for TaskManager |
| 2017-01-09 | Tatsuki IHA | Success create Task and inqueue Task |
| 2017-01-09 | Tatsuki IHA | Fix rb_tree |