]> Git — Sourcephile - webc.git/history - src/Webc
build: remove pre-commit's artifact
[webc.git] / src / Webc /
2022-02-16 Julien Moutinhoimpl: remove no longer useful `Tree` in `Generator`
2022-02-16 Julien Moutinhoiface: rename `Layouter` to `Generator`
2022-02-16 Julien Moutinhoiface: include an inhabitant of `a` in `LayoutNode`
2022-02-15 Julien Moutinhoimpl: remove unused initial algebra
2022-02-14 Julien Moutinhoinit