]>
2022-02-16 | Julien Moutinho | iface: include an inhabitant of `a` in `LayoutNode` | commit | commitdiff | tree | snapshot |
2022-02-15 | Julien Moutinho | impl: remove unused initial algebra | commit | commitdiff | tree | snapshot |
2022-02-14 | Julien Moutinho | doc: update `ChangeLog.md` | commit | commitdiff | tree | snapshot |
2022-02-14 | Julien Moutinho | init | commit | commitdiff | tree | snapshot |