]>
Git — Sourcephile - haskell/symantic-base.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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