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