Mercurial > hg > GearsTemplate

changeset 180:d8947747ff3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix syntax
author atton
date Tue, 13 Dec 2016 02:08:40 +0000
parents b3be97ba0782
children 78b28c8ffff2
files src/parallel_execution/stack.agda
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/parallel_execution/stack.agda	Tue Dec 06 08:17:08 2016 +0000
+++ b/src/parallel_execution/stack.agda	Tue Dec 13 02:08:40 2016 +0000
@@ -126,6 +126,6 @@
   n-pop (suc n) (pushSingleLinkedStack (n-push n s) a (\s -> s))
   ≡⟨ push-and-n-pop n (n-push n s)  ⟩
   n-pop n (n-push n s)
-  ≡⟨ n-push-pop-equiv n s\ ⟩
+  ≡⟨ n-push-pop-equiv n s ⟩
   s
   ∎