]> Git — Sourcephile - webc.git/log
webc.git
20 months agowip main
Julien Moutinho [Mon, 22 Aug 2022 18:06:57 +0000 (20:06 +0200)]
wip

20 months agonix: update input `nixpkgs`
Julien Moutinho [Mon, 22 Aug 2022 21:21:09 +0000 (23:21 +0200)]
nix: update input `nixpkgs`

20 months agodoc: update public presence
Julien Moutinho [Mon, 22 Aug 2022 18:03:46 +0000 (20:03 +0200)]
doc: update public presence

20 months agobuild: update dependencies
Julien Moutinho [Mon, 22 Aug 2022 18:02:13 +0000 (20:02 +0200)]
build: update dependencies

2 years agoimpl: generate routes from a model
Julien Moutinho [Wed, 9 Mar 2022 22:20:42 +0000 (23:20 +0100)]
impl: generate routes from a model

2 years agoimpl: add `Applicative` instance on `Generator`
Julien Moutinho [Thu, 17 Feb 2022 01:36:20 +0000 (02:36 +0100)]
impl: add `Applicative` instance on `Generator`

2 years agoimpl: clearer instances on `Decoder`
Julien Moutinho [Thu, 17 Feb 2022 01:18:50 +0000 (02:18 +0100)]
impl: clearer instances on `Decoder`

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