]>
2022-02-16 | Julien Moutinho | iface: rename `Layouter` to `Generator` | tree | commitdiff |
2022-02-16 | Julien Moutinho | iface: include an inhabitant of `a` in `LayoutNode` | tree | commitdiff |
2022-02-15 | Julien Moutinho | impl: remove unused initial algebra | tree | commitdiff |
2022-02-14 | Julien Moutinho | init | tree | commitdiff |