]> Git — Sourcephile - webc.git/log
webc.git
2 years agoiface: include an inhabitant of `a` in `LayoutNode`
Julien Moutinho [Tue, 15 Feb 2022 02:53:07 +0000 (03:53 +0100)]
iface: include an inhabitant of `a` in `LayoutNode`

2 years agoimpl: remove unused initial algebra
Julien Moutinho [Tue, 15 Feb 2022 05:10:58 +0000 (06:10 +0100)]
impl: remove unused initial algebra

2 years agodoc: update `ChangeLog.md`
Julien Moutinho [Mon, 14 Feb 2022 23:33:36 +0000 (00:33 +0100)]
doc: update `ChangeLog.md`

2 years agoinit
Julien Moutinho [Sun, 13 Feb 2022 17:41:48 +0000 (18:41 +0100)]
init