1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00

🔥 getK.

This commit is contained in:
Rob Rix 2017-06-21 14:02:06 -04:00
parent 0bf24a86db
commit c4f45522af

View File

@ -52,9 +52,8 @@ ses eq as' bs'
moveDownFrom up
else
moveRightFrom left
where getK k = v ! k
left = getK (pred k)
up = getK (succ k)
where left = v ! pred k
up = v ! succ k
-- | Move downward from a given vertex, inserting the element for the corresponding row.
moveDownFrom (Endpoint x y script) = Endpoint x (succ y) (if y < m then That (bs ! y) : script else script)