]> Git — Sourcephile - webc.git/log
webc.git
2 years agodoc: fix comment of `(</>)`
Julien Moutinho [Thu, 17 Feb 2022 01:16:08 +0000 (02:16 +0100)]
doc: fix comment of `(</>)`

2 years agobuild: remove pre-commit's artifact
Julien Moutinho [Thu, 17 Feb 2022 01:14:01 +0000 (02:14 +0100)]
build: remove pre-commit's artifact

2 years agodoc: update `ChangeLog.md`
Julien Moutinho [Wed, 16 Feb 2022 22:09:55 +0000 (23:09 +0100)]
doc: update `ChangeLog.md`

2 years agoiface: bump version
Julien Moutinho [Wed, 16 Feb 2022 22:09:53 +0000 (23:09 +0100)]
iface: bump version

2 years agoimpl: remove no longer useful `Tree` in `Generator`
Julien Moutinho [Wed, 16 Feb 2022 22:04:41 +0000 (23:04 +0100)]
impl: remove no longer useful `Tree` in `Generator`

2 years agodoc: update `ChangeLog.md`
Julien Moutinho [Wed, 16 Feb 2022 06:31:45 +0000 (07:31 +0100)]
doc: update `ChangeLog.md`

2 years agoiface: bump version
Julien Moutinho [Wed, 16 Feb 2022 05:33:12 +0000 (06:33 +0100)]
iface: bump version

2 years agoiface: rename `Layouter` to `Generator`
Julien Moutinho [Wed, 16 Feb 2022 03:52:59 +0000 (04:52 +0100)]
iface: rename `Layouter` to `Generator`

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