Mercurial > hg > Gears > GearsAgda

diff src/parallel_execution/stack.agda @ 406:9b35e6581b5c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Use task member of context by par goto meta Use task member of context for par goto meta ate_stub.pl
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Wed, 06 Sep 2017 15:11:27 +0900
parents 78b28c8ffff2
children 07ccd411ad70
line wrap: on
line diff