Sandro Lovnički

recognize that `λfl. l 1 (λfl. l 2 empty)` is `[1,2]` when showing curried (partial) α-equivalent

`:cbv :d ` cannot be used. It would be nice if options are interchangeable

Redex coloring (when `:d` option is used) is still call-by-name based, that is - abstraction's argument is currently always colored all green, although it is being reduced in many steps...

Create a Debian package 'plam'

Feature: Route Structure

1

This should - Solve an unintuitive problem of how to handle popping from e.g. `/some/thing/deeper` to `/` if these 2 really are the only pages in the stack - Enable...

Rethink the BeamGuards

13

As per Flutter's team research: > The logic expressed by guardNonMatching is very hard to understand in the following code: > ``` > BeamGuard( > pathBlueprints: ['/signin'], > guardNonMatching: true,...

Similar to `onCheckFailed`, but should return a boolean.

So it can be stored and restored. https://discord.com/channels/815722893878099978/815724566437298227/940239793361662003; Something like: `beamingHistory.toStringsHistory()` and `stringsHistory.toBeamingHistory()` ```dart final stringsHistory = beamingHistory.map( (beamLocation) => beamLocation.history.map( (historyElement) => historyElement.routeInformation.location!, ), ).toList(); ```

- [ ] add `asyncCheck` to `BeamGuard` - [ ] remove `beamTo`, `beamToNamed` (below point removes the need for them) - [ ] add arbitrary closure to execute on failed...