Mercurial > hg > Gears > GearsAgda

comparison src/parallel_execution/main.cbc @ 477:c3202635c20a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix Stack.agda
author ryokka
date Thu, 28 Dec 2017 15:52:01 +0900
parents d3d7a7d6a117
children
comparison
equal deleted inserted replaced
476:4b5f9884b777 477:c3202635c20a