Skip to content
Snippets Groups Projects
Commit 38ded743 authored by Siddharth's avatar Siddharth
Browse files

[skip ci] Typo fix: b*ar*nches -> b*ra*nches

parent 757b71d9
No related branches found
No related tags found
No related merge requests found
......@@ -694,7 +694,7 @@ Consider
False -> \s(one-shot). e1
in go2 x
We *really* want to eta-expand go and go2.
When combining the barnches of the case we have
When combining the branches of the case we have
ATop [] `andAT` ATop [OneShotLam]
and we want to get ATop [OneShotLam]. But if the inner
lambda wasn't one-shot we don't want to do this.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment