Git — Sourcephile - haskell/symantic-base.git/shortlog

]> Git — Sourcephile - haskell/symantic-base.git/shortlog

sourcephile / git / haskell / symantic-base.git / shortlog

2023-09-07	Julien Moutinho	iface: add semantic `Identity`	commit \| commitdiff \| tree \| snapshot
2023-08-30	Julien Moutinho	doc: move description to modules' header	commit \| commitdiff \| tree \| snapshot
2023-08-30	Julien Moutinho	doc: reformat comments	commit \| commitdiff \| tree \| snapshot
2023-08-30	Julien Moutinho	iface: add syntax `Abstractable` to semantic `Forall`	commit \| commitdiff \| tree \| snapshot
2023-08-30	Julien Moutinho	iface: split syntax `Abstractable` into `Abstractable1...	commit \| commitdiff \| tree \| snapshot
2023-08-30	Julien Moutinho	iface: add semantic `Forall`	commit \| commitdiff \| tree \| snapshot
2023-08-30	Julien Moutinho	doc: improve comment about `Derivable`	commit \| commitdiff \| tree \| snapshot
2023-08-30	Julien Moutinho	doc: rename type variable `able` to `syn`	commit \| commitdiff \| tree \| snapshot
2023-08-30	Julien Moutinho	doc: remove old comments	commit \| commitdiff \| tree \| snapshot
2023-07-17	Julien Moutinho	doc: fix comment about `CurryN`	commit \| commitdiff \| tree \| snapshot
2023-07-17	Julien Moutinho	impl: fix `(:!:)` completeness warning	commit \| commitdiff \| tree \| snapshot
2023-07-17	Julien Moutinho	iface: add the `a` parameter to the `Dataable` class	commit \| commitdiff \| tree \| snapshot
2023-07-17	Julien Moutinho	iface: remove `ToFer` semantic in favor of `(-->)`	commit \| commitdiff \| tree \| snapshot
2023-07-01	Julien Moutinho	iface: add instance `Eq Endpoint` and `Show Endpoint`	commit \| commitdiff \| tree \| snapshot
2023-06-26	Julien Moutinho	iface: fix `data_` constraints to handle contravariant...	commit \| commitdiff \| tree \| snapshot
2023-06-26	Julien Moutinho	build: update nix input `nixpkgs`	commit \| commitdiff \| tree \| snapshot
2023-06-20	Julien Moutinho	doc: fix typo in `ToFer`	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	doc: update `ChangeLog.md` symantic-base-0.5.0.20221211	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	iface: add `Endpoint`	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	build: check that the build before tagging	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	build: ignore `.pre-commit-config.yaml`	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	impl: rename module `ADT` to `EithersOfTuples`	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	build: improve `ghcid` support	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	iface: replace `adt` by `dataType`, and support `Tuples...	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	iface: remove syntax `Routable`	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	iface: fix export of `ADT`	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	doc: fix remaining `<:>` to `<.>`	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	doc: update `ChangeLog.md`	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	iface: add syntax for `either`	commit \| commitdiff \| tree \| snapshot
2023-01-25	Julien Moutinho	iface: fix gather in submodules	commit \| commitdiff \| tree \| snapshot
2022-11-22	Julien Moutinho	iface: move `(.@)` into `Unabstractable`	commit \| commitdiff \| tree \| snapshot
2022-11-22	Julien Moutinho	build: improve `flake.nix`	commit \| commitdiff \| tree \| snapshot
2022-11-22	Julien Moutinho	impl: rename type variable `repr` to `sem`	commit \| commitdiff \| tree \| snapshot
2022-11-22	Julien Moutinho	iface: add syntax `IfSemantic`	commit \| commitdiff \| tree \| snapshot
2022-11-22	Julien Moutinho	impl: gather in submodules	commit \| commitdiff \| tree \| snapshot
2022-08-23	Julien Moutinho	impl: fix deprecated `StarIsType`	commit \| commitdiff \| tree \| snapshot
2022-08-22	Julien Moutinho	doc: update public presence	commit \| commitdiff \| tree \| snapshot
2022-08-22	Julien Moutinho	build: update nix input `nixpkgs`	commit \| commitdiff \| tree \| snapshot
2022-03-07	Julien Moutinho	iface: remove `option`, only `optional` is correct	commit \| commitdiff \| tree \| snapshot
2022-03-07	Julien Moutinho	iface: add interpreter `Reader`	commit \| commitdiff \| tree \| snapshot
2022-02-13	Julien Moutinho	doc: fix typos in comments	commit \| commitdiff \| tree \| snapshot
2022-02-12	Julien Moutinho	doc: update `ChangeLog.md` symantic-base-0.4.0.20211106	commit \| commitdiff \| tree \| snapshot
2022-02-11	Julien Moutinho	build: update nix input `nixpkgs`	commit \| commitdiff \| tree \| snapshot
2021-11-18	Julien Moutinho	iface: update release `version`	commit \| commitdiff \| tree \| snapshot
2021-11-18	Julien Moutinho	iface: rename `Symantic.{View => Viewer}`	commit \| commitdiff \| tree \| snapshot
2021-11-06	Julien Moutinho	iface: rename `Symantic.{ObserveSharing => SharingObser...	commit \| commitdiff \| tree \| snapshot
2021-11-06	Julien Moutinho	iface: rename `Symantic.{Class => Classes}`	commit \| commitdiff \| tree \| snapshot
2021-11-06	Julien Moutinho	build: move all Nix config into `flake.nix`	commit \| commitdiff \| tree \| snapshot
2021-10-31	Julien Moutinho	doc: fix minor shortcomings	commit \| commitdiff \| tree \| snapshot
2021-10-31	Julien Moutinho	build: fix `flake.lock` to use a public Nixpkgs	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	doc: update `ChangeLog.md`	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	iface: update release `version` symantic-base-0.3.0.20211007	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	doc: rename {hut => code}.sourcephile.fr	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	iface: add class `Inferable`	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	build: ignore more local-only files	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	build: remove nix input `flake-utils`	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	iface: change `(==)` to curryed form	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	iface: add classes `Emptyable` and `Semigroupable`	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	build: add tool `git-chglog` for generating `ChangeLog.md`	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	iface: move some `Abstractable` methods to `Functionable`	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	iface: rename module `Symantic.{Lang => Class}`	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	build: update nix input `nixpkgs`	commit \| commitdiff \| tree \| snapshot
2021-10-28	Julien Moutinho	doc: add `ChangeLog.md`	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	impl: cleanup formatting a bit	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	iface: add instance `Category Iso`	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	iface: change to `infixr` classes `ProductFunctor`...	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	iface: add `(<.)` and `(.>)` to class `ProductFunctor`	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	iface: add class `SumFunctor`	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	iface: fix class `Dicurryable`	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	impl: cleanup useless import	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	build: add tool `reuse` for copyright linting	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	iface: add `CurryN` to the root import	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	iface: rename term `{def => define}`	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	iface: fix class `Voidable`	commit \| commitdiff \| tree \| snapshot
2021-10-27	Julien Moutinho	build: improve linting	commit \| commitdiff \| tree \| snapshot
2021-10-07	Julien Moutinho	build: remove lingering Stack file	commit \| commitdiff \| tree \| snapshot
2021-09-03	Julien Moutinho	doc: typo symantic-base-0.2.0.20210903	commit \| commitdiff \| tree \| snapshot
2021-09-03	Julien Moutinho	make: add checks	commit \| commitdiff \| tree \| snapshot
2021-09-03	Julien Moutinho	doc: fix nesting of titles	commit \| commitdiff \| tree \| snapshot
2021-08-31	Julien Moutinho	copyright: fix REUSE symantic-base-0.2.0.20210831	commit \| commitdiff \| tree \| snapshot
2021-08-30	Julien Moutinho	copyright: comply with REUSE-3.0 symantic-base-0.2.0.20210731	commit \| commitdiff \| tree \| snapshot
2021-07-31	Julien Moutinho	remove ShowLetName master	commit \| commitdiff \| tree \| snapshot
2021-07-27	Julien Moutinho	ObserveSharing: add tools to analyze mutually recursive... symantic-base-0.2.0.20210726	commit \| commitdiff \| tree \| snapshot
2021-07-14	Julien Moutinho	Merge Dityped and Typed; Dityped is not necessary for... symantic-base-0.2.0.20210714	commit \| commitdiff \| tree \| snapshot
2021-07-11	Julien Moutinho	cabal: clean up and describe	commit \| commitdiff \| tree \| snapshot
2021-07-11	Julien Moutinho	rename class {Derive => Derivable} symantic-base-0.1.0.20210703	commit \| commitdiff \| tree \| snapshot
2021-07-11	Julien Moutinho	harmonize deriving and module names	commit \| commitdiff \| tree \| snapshot
2021-07-11	Julien Moutinho	cabal: cleanup	commit \| commitdiff \| tree \| snapshot
2021-07-11	Julien Moutinho	cabal: update bug-reports	commit \| commitdiff \| tree \| snapshot
2021-07-11	Julien Moutinho	clean up indentation	commit \| commitdiff \| tree \| snapshot
2021-07-11	Julien Moutinho	cabal: bump to version 0.1.0.20210703	commit \| commitdiff \| tree \| snapshot
2021-07-11	Julien Moutinho	add Symantic.Typed	commit \| commitdiff \| tree \| snapshot
2021-07-11	Julien Moutinho	rename Symantic.{Base => Dityped}	commit \| commitdiff \| tree \| snapshot
2021-07-11	Julien Moutinho	change license to AGPL-3.0-or-later	commit \| commitdiff \| tree \| snapshot
2020-08-18	Julien Moutinho	fix Haddock comments symantic-base-0.0.2.20200708	commit \| commitdiff \| tree \| snapshot
2020-08-18	Julien Moutinho	fix Haddock comments symantic-base-0.0.1.20200708	commit \| commitdiff \| tree \| snapshot
2020-07-10	Julien Moutinho	add trans1 and trans2	commit \| commitdiff \| tree \| snapshot
2020-05-26	Julien Moutinho	init	commit \| commitdiff \| tree \| snapshot

Library for basic symantic combinators

RSS Atom