Mercurial > hg > Gears > GearsAgda
diff src/parallel_execution/SingleLinkedStack.cbc @ 233:06133afb3b5b
create worker start_code
author | mir3636 |
---|---|
date | Sun, 22 Jan 2017 20:02:21 +0900 |
parents | 081607dcf893 |
children | ebc13549394c |
author | mir3636 |
---|---|
date | Sun, 22 Jan 2017 20:02:21 +0900 |
parents | 081607dcf893 |
children | ebc13549394c |