fogti/gardground - Change X4IQZMO364GSCFRZ2TCWVQEP7NB4MSFB6HUZVXFMYZFJZSAZEIKQC

Created by fogti on August 26, 2024

X4IQZMO364GSCFRZ2TCWVQEP7NB4MSFB6HUZVXFMYZFJZSAZEIKQC

main

Deletion in core/lib/GardGround/Syntax/Abstract.hs at line 15 [2.36]
B:BD[2.209] → [2.209:246]
```
import qualified Deque.Strict as Deq
```
Deletion in core/lib/GardGround/Syntax/Abstract.hs at line 33 [2.36]
B:BD[2.773] → [2.773:801]
```
type Deque a = Deq.Deque a
```

B:BD[2.870] → [2.870:1005]

--   values at the front are applied first, further applications get appended to back
data Neutral = Neutral NeutralRoot (Deque Value)

[2.870]

[2.1005]

--   inner (later) values are applied first, further applications get appended to front
data Neutral = Neutral NeutralRoot [Value]

B:BD[2.1783] → [2.1783:1871]

vapp (VNeutral (Neutral nam xs)) = \v -> Right . VNeutral . Neutral nam $ Deq.snoc v xs

[2.1783]

[2.1871]

vapp (VNeutral (Neutral nam xs)) = \v -> Right . VNeutral . Neutral nam $ v:xs

B:BD[2.2457] → [2.2457:2542]

    boundfree >>= \bf -> foldM (\a b -> EApply a <$> quote i b) (ENeutralRoot bf) xs

[2.2457]

[2.2542]

    boundfree >>= \bf -> foldM (\a b -> EApply a <$> quote i b) (ENeutralRoot bf) (reverse xs)

Deletion in core/gardground-core.cabal at line 44 [3.4616]
B:BD[3.5290] → [2.2971:3004]
```
      , deque        ^>= 0.4.0.0
```