Mercurial > hg > Gears > GearsAgda
comparison src/parallel_execution/TaskIterator.cbc @ 504:0bec9490c199
stack.agda comment
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 01 Jan 2018 19:17:01 +0900 |
parents | ac244346c85d |
children |
comparison
equal
deleted
inserted
replaced
503:413ce51da50b | 504:0bec9490c199 |
---|