Mercurial > hg > Gears > GearsAgda
annotate src/parallel_execution/Worker.cbc @ 271:f2dd6356eff2
add CPUWorker.cbc
author | mir3636 |
---|---|
date | Mon, 30 Jan 2017 15:02:08 +0900 |
parents | |
children | 9f8a87389b68 |
author | mir3636 |
---|---|
date | Mon, 30 Jan 2017 15:02:08 +0900 |
parents | |
children | 9f8a87389b68 |