]> Git — Sourcephile - haskell/literate-web.git/log
haskell/literate-web.git
3 months agofeat(live): init `Literate.Web.Live` main
Julien Moutinho [Sat, 7 Sep 2024 23:16:02 +0000 (01:16 +0200)]
feat(live): init `Literate.Web.Live`

3 months agofeat(compiler): support `ShortText`
Julien Moutinho [Sat, 7 Sep 2024 22:55:51 +0000 (00:55 +0200)]
feat(compiler): support `ShortText`

3 months agoperf(compiler): use `ByteString.Builder`
Julien Moutinho [Sat, 7 Sep 2024 22:46:42 +0000 (00:46 +0200)]
perf(compiler): use `ByteString.Builder`

3 months agofeat(compiler): add instance `Show OuputPath`
Julien Moutinho [Sat, 7 Sep 2024 22:15:44 +0000 (00:15 +0200)]
feat(compiler): add instance `Show OuputPath`

3 months agomaint(nix): update nixpkgs
Julien Moutinho [Sat, 7 Sep 2024 22:09:10 +0000 (00:09 +0200)]
maint(nix): update nixpkgs

5 months agoclarity(haskell): improve style
Julien Moutinho [Sat, 13 Jul 2024 11:03:53 +0000 (13:03 +0200)]
clarity(haskell): improve style

5 months agomaint(nix): update nix inputs
Julien Moutinho [Fri, 12 Jul 2024 14:25:43 +0000 (16:25 +0200)]
maint(nix): update nix inputs

5 months agofeat(impl): improve `Server`
Julien Moutinho [Fri, 12 Jul 2024 14:23:43 +0000 (16:23 +0200)]
feat(impl): improve `Server`

5 months agofeat(iface): add `OutputPath`
Julien Moutinho [Fri, 12 Jul 2024 14:18:21 +0000 (16:18 +0200)]
feat(iface): add `OutputPath`

5 months agomaint(impl): drop executables
Julien Moutinho [Wed, 10 Jul 2024 01:06:58 +0000 (03:06 +0200)]
maint(impl): drop executables

5 months agomaint(impl): drop relactive
Julien Moutinho [Wed, 10 Jul 2024 01:05:41 +0000 (03:05 +0200)]
maint(impl): drop relactive

5 months agomaint(impl): drop mvc
Julien Moutinho [Wed, 10 Jul 2024 01:04:03 +0000 (03:04 +0200)]
maint(impl): drop mvc

11 months agoimpl: use newer symantic-base
Julien Moutinho [Wed, 10 Jan 2024 14:12:40 +0000 (15:12 +0100)]
impl: use newer symantic-base

17 months agoco- and contra- variant ToF
Julien Moutinho [Sun, 16 Jul 2023 22:52:22 +0000 (00:52 +0200)]
co- and contra- variant ToF

17 months agoinit
Julien Moutinho [Sat, 12 Nov 2022 12:55:31 +0000 (13:55 +0100)]
init