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

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

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

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

Library for basic symantic combinators

RSS Atom