]>
Git — Sourcephile - haskell/symantic-base.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Julien Moutinho [Wed, 25 Jan 2023 00:56:13 +0000 (01:56 +0100)]
doc: update `ChangeLog.md`
Julien Moutinho [Sat, 10 Dec 2022 22:58:10 +0000 (23:58 +0100)]
iface: add `Endpoint`
Julien Moutinho [Fri, 2 Dec 2022 23:55:07 +0000 (00:55 +0100)]
build: check that the build before tagging
Julien Moutinho [Fri, 2 Dec 2022 01:32:40 +0000 (02:32 +0100)]
build: ignore `.pre-commit-config.yaml`
Julien Moutinho [Fri, 2 Dec 2022 01:31:21 +0000 (02:31 +0100)]
impl: rename module `ADT` to `EithersOfTuples`
Julien Moutinho [Fri, 2 Dec 2022 01:28:52 +0000 (02:28 +0100)]
build: improve `ghcid` support
Julien Moutinho [Fri, 2 Dec 2022 01:24:15 +0000 (02:24 +0100)]
iface: replace `adt` by `dataType`, and support `TuplesOfFunctions`
Julien Moutinho [Mon, 28 Nov 2022 10:53:22 +0000 (11:53 +0100)]
iface: remove syntax `Routable`
Julien Moutinho [Sun, 27 Nov 2022 11:12:14 +0000 (12:12 +0100)]
iface: fix export of `ADT`
Julien Moutinho [Sun, 27 Nov 2022 09:09:48 +0000 (10:09 +0100)]
doc: fix remaining `<:>` to `<.>`
Julien Moutinho [Fri, 25 Nov 2022 17:33:06 +0000 (18:33 +0100)]
doc: update `ChangeLog.md`
Julien Moutinho [Wed, 23 Nov 2022 10:04:47 +0000 (11:04 +0100)]
iface: add syntax for `either`
Julien Moutinho [Tue, 22 Nov 2022 14:53:36 +0000 (15:53 +0100)]
iface: fix gather in submodules
Julien Moutinho [Tue, 22 Nov 2022 13:37:05 +0000 (14:37 +0100)]
iface: move `(.@)` into `Unabstractable`
Julien Moutinho [Tue, 22 Nov 2022 13:34:23 +0000 (14:34 +0100)]
build: improve `flake.nix`
Julien Moutinho [Thu, 17 Nov 2022 22:25:59 +0000 (23:25 +0100)]
impl: rename type variable `repr` to `sem`
Julien Moutinho [Thu, 17 Nov 2022 22:13:31 +0000 (23:13 +0100)]
iface: add syntax `IfSemantic`
Julien Moutinho [Thu, 17 Nov 2022 21:59:47 +0000 (22:59 +0100)]
impl: gather in submodules
Julien Moutinho [Tue, 23 Aug 2022 02:55:00 +0000 (04:55 +0200)]
impl: fix deprecated `StarIsType`
Julien Moutinho [Mon, 22 Aug 2022 20:34:48 +0000 (22:34 +0200)]
doc: update public presence
Julien Moutinho [Mon, 22 Aug 2022 20:24:30 +0000 (22:24 +0200)]
build: update nix input `nixpkgs`
Julien Moutinho [Sat, 5 Mar 2022 05:56:31 +0000 (06:56 +0100)]
iface: remove `option`, only `optional` is correct
Julien Moutinho [Fri, 4 Mar 2022 16:31:43 +0000 (17:31 +0100)]
iface: add interpreter `Reader`
Julien Moutinho [Sat, 12 Feb 2022 19:48:28 +0000 (20:48 +0100)]
doc: fix typos in comments
Julien Moutinho [Sat, 12 Feb 2022 00:15:36 +0000 (01:15 +0100)]
doc: update `ChangeLog.md`
Julien Moutinho [Thu, 18 Nov 2021 05:39:53 +0000 (06:39 +0100)]
build: update nix input `nixpkgs`
Julien Moutinho [Mon, 1 Nov 2021 02:46:59 +0000 (03:46 +0100)]
iface: update release `version`
Julien Moutinho [Sat, 6 Nov 2021 04:42:31 +0000 (05:42 +0100)]
iface: rename `Symantic.{View => Viewer}`
Julien Moutinho [Sat, 6 Nov 2021 04:42:06 +0000 (05:42 +0100)]
iface: rename `Symantic.{ObserveSharing => SharingObserver}`
Julien Moutinho [Sat, 6 Nov 2021 04:41:08 +0000 (05:41 +0100)]
iface: rename `Symantic.{Class => Classes}`
Julien Moutinho [Thu, 4 Nov 2021 15:45:19 +0000 (16:45 +0100)]
build: move all Nix config into `flake.nix`
Julien Moutinho [Sun, 31 Oct 2021 20:11:01 +0000 (21:11 +0100)]
doc: fix minor shortcomings
Julien Moutinho [Sun, 31 Oct 2021 20:09:34 +0000 (21:09 +0100)]
build: fix `flake.lock` to use a public Nixpkgs
Julien Moutinho [Thu, 28 Oct 2021 00:19:30 +0000 (02:19 +0200)]
doc: update `ChangeLog.md`
Julien Moutinho [Thu, 7 Oct 2021 20:49:19 +0000 (22:49 +0200)]
iface: update release `version`
Julien Moutinho [Wed, 27 Oct 2021 21:21:06 +0000 (23:21 +0200)]
doc: rename {hut => code}.sourcephile.fr
Julien Moutinho [Wed, 27 Oct 2021 21:20:13 +0000 (23:20 +0200)]
iface: add class `Inferable`
Julien Moutinho [Wed, 27 Oct 2021 21:19:22 +0000 (23:19 +0200)]
build: ignore more local-only files
Julien Moutinho [Thu, 21 Oct 2021 03:57:46 +0000 (05:57 +0200)]
build: remove nix input `flake-utils`
Julien Moutinho [Fri, 8 Oct 2021 16:13:12 +0000 (18:13 +0200)]
iface: change `(==)` to curryed form
Julien Moutinho [Fri, 8 Oct 2021 13:58:55 +0000 (15:58 +0200)]
iface: add classes `Emptyable` and `Semigroupable`
Julien Moutinho [Thu, 7 Oct 2021 17:45:10 +0000 (19:45 +0200)]
build: add tool `git-chglog` for generating `ChangeLog.md`
Julien Moutinho [Thu, 7 Oct 2021 14:47:31 +0000 (16:47 +0200)]
iface: move some `Abstractable` methods to `Functionable`
Julien Moutinho [Sat, 4 Sep 2021 16:47:12 +0000 (18:47 +0200)]
iface: rename module `Symantic.{Lang => Class}`
Julien Moutinho [Thu, 7 Oct 2021 10:42:47 +0000 (12:42 +0200)]
build: update nix input `nixpkgs`
Julien Moutinho [Sun, 26 Sep 2021 18:17:23 +0000 (20:17 +0200)]
doc: add `ChangeLog.md`
Julien Moutinho [Sat, 11 Sep 2021 18:46:14 +0000 (20:46 +0200)]
impl: cleanup formatting a bit
Julien Moutinho [Sat, 11 Sep 2021 18:45:45 +0000 (20:45 +0200)]
iface: add instance `Category Iso`
Julien Moutinho [Sat, 11 Sep 2021 18:45:17 +0000 (20:45 +0200)]
iface: change to `infixr` classes `ProductFunctor` and `SumFunctor`
Julien Moutinho [Fri, 10 Sep 2021 15:50:29 +0000 (17:50 +0200)]
iface: add `(<.)` and `(.>)` to class `ProductFunctor`
Julien Moutinho [Sun, 5 Sep 2021 17:51:09 +0000 (19:51 +0200)]
iface: add class `SumFunctor`
Julien Moutinho [Sat, 4 Sep 2021 18:36:43 +0000 (20:36 +0200)]
iface: fix class `Dicurryable`
Julien Moutinho [Sat, 4 Sep 2021 18:11:53 +0000 (20:11 +0200)]
impl: cleanup useless import
Julien Moutinho [Sat, 4 Sep 2021 17:34:46 +0000 (19:34 +0200)]
build: add tool `reuse` for copyright linting
Julien Moutinho [Sat, 4 Sep 2021 16:48:04 +0000 (18:48 +0200)]
iface: add `CurryN` to the root import
Julien Moutinho [Sat, 4 Sep 2021 16:46:10 +0000 (18:46 +0200)]
iface: rename term `{def => define}`
Julien Moutinho [Sat, 4 Sep 2021 16:45:28 +0000 (18:45 +0200)]
iface: fix class `Voidable`
Julien Moutinho [Sat, 4 Sep 2021 16:43:35 +0000 (18:43 +0200)]
build: improve linting
Julien Moutinho [Sat, 4 Sep 2021 16:39:26 +0000 (18:39 +0200)]
build: remove lingering Stack file
Julien Moutinho [Fri, 3 Sep 2021 11:48:29 +0000 (13:48 +0200)]
doc: typo
Julien Moutinho [Fri, 3 Sep 2021 11:44:09 +0000 (13:44 +0200)]
make: add checks
Julien Moutinho [Fri, 3 Sep 2021 11:39:55 +0000 (13:39 +0200)]
doc: fix nesting of titles
Julien Moutinho [Tue, 31 Aug 2021 17:02:45 +0000 (19:02 +0200)]
copyright: fix REUSE
Julien Moutinho [Mon, 30 Aug 2021 18:21:21 +0000 (20:21 +0200)]
copyright: comply with REUSE-3.0
Julien Moutinho [Sat, 31 Jul 2021 10:25:11 +0000 (12:25 +0200)]
remove ShowLetName
Julien Moutinho [Mon, 26 Jul 2021 07:32:09 +0000 (09:32 +0200)]
ObserveSharing: add tools to analyze mutually recursive lets.
Julien Moutinho [Wed, 14 Jul 2021 05:47:25 +0000 (07:47 +0200)]
Merge Dityped and Typed; Dityped is not necessary for dimap to work
Julien Moutinho [Sun, 11 Jul 2021 19:15:05 +0000 (21:15 +0200)]
cabal: clean up and describe
Julien Moutinho [Sat, 10 Jul 2021 19:23:20 +0000 (21:23 +0200)]
rename class {Derive => Derivable}
Julien Moutinho [Sat, 10 Jul 2021 18:22:19 +0000 (20:22 +0200)]
harmonize deriving and module names
Julien Moutinho [Sat, 10 Jul 2021 16:15:03 +0000 (18:15 +0200)]
cabal: cleanup
Julien Moutinho [Sat, 10 Jul 2021 16:08:44 +0000 (18:08 +0200)]
cabal: update bug-reports
Julien Moutinho [Sat, 10 Jul 2021 15:56:33 +0000 (17:56 +0200)]
clean up indentation
Julien Moutinho [Sat, 10 Jul 2021 15:55:07 +0000 (17:55 +0200)]
cabal: bump to version 0.1.0.
20210703
Julien Moutinho [Mon, 5 Jul 2021 21:40:23 +0000 (23:40 +0200)]
add Symantic.Typed
Julien Moutinho [Mon, 5 Jul 2021 21:38:20 +0000 (23:38 +0200)]
rename Symantic.{Base => Dityped}
Julien Moutinho [Fri, 9 Jul 2021 15:33:26 +0000 (17:33 +0200)]
change license to AGPL-3.0-or-later
Julien Moutinho [Tue, 18 Aug 2020 10:11:35 +0000 (12:11 +0200)]
fix Haddock comments
Julien Moutinho [Tue, 18 Aug 2020 09:20:09 +0000 (11:20 +0200)]
fix Haddock comments
Julien Moutinho [Fri, 10 Jul 2020 07:31:35 +0000 (09:31 +0200)]
add trans1 and trans2
Julien Moutinho [Sat, 23 May 2020 03:01:45 +0000 (05:01 +0200)]
init
sourcephile / git / haskell / symantic-base.git / log