Mercurial > hg > Members > Moririn

comparison src/parallel_execution/stack.agda @ 195:119c035e0e36

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
replace Array and Stack for array and stack
author ikkun
date Fri, 16 Dec 2016 23:27:14 +0900
parents 78b28c8ffff2
children 07ccd411ad70
comparison
equal deleted inserted replaced
194:081607dcf893 195:119c035e0e36