]> Git — Sourcephile - haskell/symantic-base.git/shortlog
haskell/symantic-base.git
2024-02-10 Julien Moutinhodoc: clarify `(-->)`
2024-02-10 Julien Moutinhobuild: set new fourmolu options
2023-09-27 Julien Moutinhoiface: add many `Forall` instances
2023-09-27 Julien Moutinhoiface: rename `OpenRec` to `OpenLetRec`
2023-09-25 Julien Moutinhoiface: add data instance `Data (Inferable c)`
2023-09-15 Julien Moutinhoimpl: format `ViewerEnv` field names
2023-09-15 Julien Moutinhoiface: rename `runViewer` to `view`
2023-09-15 Julien Moutinhoiface: add instance `IfThenElseable Viewer`
2023-09-14 Julien Moutinhoimpl: add more reductions to `normalOrderReduction`
2023-09-14 Julien Moutinhoimpl: fix `Unabstractable` instance for `SomeData`
2023-09-14 Julien Moutinhoiface: remove `Abstractable` constraint from `(<>)`
2023-09-14 Julien Moutinhoiface: remove `Abstractable` constraint from `(==)`
2023-09-13 Julien Moutinhoiface: rename `observeSharing` to `sharingObserver`
2023-09-11 Julien Moutinhoiface: rename `unFinalizeSharing` to `unSharingFinalizer`
2023-09-07 Julien Moutinhoiface: rename syntax `Functionable` to `Unabstractable`
2023-09-07 Julien Moutinhoiface: rename syntax `Unabstractable` to `Instantiable`
2023-09-07 Julien Moutinhoiface: move `Syntaxes.Data` to `Semantics.Data`
2023-09-07 Julien Moutinhoiface: add semantic `Identity`
2023-08-30 Julien Moutinhodoc: move description to modules' header
2023-08-30 Julien Moutinhodoc: reformat comments
2023-08-30 Julien Moutinhoiface: add syntax `Abstractable` to semantic `Forall`
2023-08-30 Julien Moutinhoiface: split syntax `Abstractable` into `Abstractable1...
2023-08-30 Julien Moutinhoiface: add semantic `Forall`
2023-08-30 Julien Moutinhodoc: improve comment about `Derivable`
2023-08-30 Julien Moutinhodoc: rename type variable `able` to `syn`
2023-08-30 Julien Moutinhodoc: remove old comments
2023-07-17 Julien Moutinhodoc: fix comment about `CurryN`
2023-07-17 Julien Moutinhoimpl: fix `(:!:)` completeness warning
2023-07-17 Julien Moutinhoiface: add the `a` parameter to the `Dataable` class
2023-07-17 Julien Moutinhoiface: remove `ToFer` semantic in favor of `(-->)`
2023-07-01 Julien Moutinhoiface: add instance `Eq Endpoint` and `Show Endpoint`
2023-06-26 Julien Moutinhoiface: fix `data_` constraints to handle contravariant...
2023-06-26 Julien Moutinhobuild: update nix input `nixpkgs`
2023-06-20 Julien Moutinhodoc: fix typo in `ToFer`
2023-01-25 Julien Moutinhodoc: update `ChangeLog.md` symantic-base-0.5.0.20221211
2023-01-25 Julien Moutinhoiface: add `Endpoint`
2023-01-25 Julien Moutinhobuild: check that the build before tagging
2023-01-25 Julien Moutinhobuild: ignore `.pre-commit-config.yaml`
2023-01-25 Julien Moutinhoimpl: rename module `ADT` to `EithersOfTuples`
2023-01-25 Julien Moutinhobuild: improve `ghcid` support
2023-01-25 Julien Moutinhoiface: replace `adt` by `dataType`, and support `Tuples...
2023-01-25 Julien Moutinhoiface: remove syntax `Routable`
2023-01-25 Julien Moutinhoiface: fix export of `ADT`
2023-01-25 Julien Moutinhodoc: fix remaining `<:>` to `<.>`
2023-01-25 Julien Moutinhodoc: update `ChangeLog.md`
2023-01-25 Julien Moutinhoiface: add syntax for `either`
2023-01-25 Julien Moutinhoiface: fix gather in submodules
2022-11-22 Julien Moutinhoiface: move `(.@)` into `Unabstractable`
2022-11-22 Julien Moutinhobuild: improve `flake.nix`
2022-11-22 Julien Moutinhoimpl: rename type variable `repr` to `sem`
2022-11-22 Julien Moutinhoiface: add syntax `IfSemantic`
2022-11-22 Julien Moutinhoimpl: gather in submodules
2022-08-23 Julien Moutinhoimpl: fix deprecated `StarIsType`
2022-08-22 Julien Moutinhodoc: update public presence
2022-08-22 Julien Moutinhobuild: update nix input `nixpkgs`
2022-03-07 Julien Moutinhoiface: remove `option`, only `optional` is correct
2022-03-07 Julien Moutinhoiface: add interpreter `Reader`
2022-02-13 Julien Moutinhodoc: fix typos in comments
2022-02-12 Julien Moutinhodoc: update `ChangeLog.md` symantic-base-0.4.0.20211106
2022-02-11 Julien Moutinhobuild: update nix input `nixpkgs`
2021-11-18 Julien Moutinhoiface: update release `version`
2021-11-18 Julien Moutinhoiface: rename `Symantic.{View => Viewer}`
2021-11-06 Julien Moutinhoiface: rename `Symantic.{ObserveSharing => SharingObser...
2021-11-06 Julien Moutinhoiface: rename `Symantic.{Class => Classes}`
2021-11-06 Julien Moutinhobuild: move all Nix config into `flake.nix`
2021-10-31 Julien Moutinhodoc: fix minor shortcomings
2021-10-31 Julien Moutinhobuild: fix `flake.lock` to use a public Nixpkgs
2021-10-28 Julien Moutinhodoc: update `ChangeLog.md`
2021-10-28 Julien Moutinhoiface: update release `version` symantic-base-0.3.0.20211007
2021-10-28 Julien Moutinhodoc: rename {hut => code}.sourcephile.fr
2021-10-28 Julien Moutinhoiface: add class `Inferable`
2021-10-28 Julien Moutinhobuild: ignore more local-only files
2021-10-28 Julien Moutinhobuild: remove nix input `flake-utils`
2021-10-28 Julien Moutinhoiface: change `(==)` to curryed form
2021-10-28 Julien Moutinhoiface: add classes `Emptyable` and `Semigroupable`
2021-10-28 Julien Moutinhobuild: add tool `git-chglog` for generating `ChangeLog.md`
2021-10-28 Julien Moutinhoiface: move some `Abstractable` methods to `Functionable`
2021-10-28 Julien Moutinhoiface: rename module `Symantic.{Lang => Class}`
2021-10-28 Julien Moutinhobuild: update nix input `nixpkgs`
2021-10-28 Julien Moutinhodoc: add `ChangeLog.md`
2021-10-27 Julien Moutinhoimpl: cleanup formatting a bit
2021-10-27 Julien Moutinhoiface: add instance `Category Iso`
2021-10-27 Julien Moutinhoiface: change to `infixr` classes `ProductFunctor`...
2021-10-27 Julien Moutinhoiface: add `(<.)` and `(.>)` to class `ProductFunctor`
2021-10-27 Julien Moutinhoiface: add class `SumFunctor`
2021-10-27 Julien Moutinhoiface: fix class `Dicurryable`
2021-10-27 Julien Moutinhoimpl: cleanup useless import
2021-10-27 Julien Moutinhobuild: add tool `reuse` for copyright linting
2021-10-27 Julien Moutinhoiface: add `CurryN` to the root import
2021-10-27 Julien Moutinhoiface: rename term `{def => define}`
2021-10-27 Julien Moutinhoiface: fix class `Voidable`
2021-10-27 Julien Moutinhobuild: improve linting
2021-10-07 Julien Moutinhobuild: remove lingering Stack file
2021-09-03 Julien Moutinhodoc: typo symantic-base-0.2.0.20210903
2021-09-03 Julien Moutinhomake: add checks
2021-09-03 Julien Moutinhodoc: fix nesting of titles
2021-08-31 Julien Moutinhocopyright: fix REUSE symantic-base-0.2.0.20210831
2021-08-30 Julien Moutinhocopyright: comply with REUSE-3.0 symantic-base-0.2.0.20210731
2021-07-31 Julien Moutinhoremove ShowLetName master
2021-07-27 Julien MoutinhoObserveSharing: add tools to analyze mutually recursive... symantic-base-0.2.0.20210726
next