Tracking issue for append-only list RA
This is the tracking issue for the append-only list RA from !661 (merged). A tracking issue is where we track and discuss what still needs to happen to make a module move to Iris proper.
The algebra part of this has been merged; what remains is the base_logic wrapper.
- On the logic layer, should
dfrac? Eventually we want to move everything to
dfracbut again the concern is that (without good notation), this will make the library more annoying to use. This is discussed in more generality at #412.
- Do a solid review of the API surface.