symantic-base-0.5.0.20221211 (2022-12-10)

Interface

• Add Endpoint.
• Add syntax for either.
• Add syntax IfSemantic.
• Add interpreter Reader.
• Fix export of ADT.
• Fix gather in submodules.
• Move (.@) into Unabstractable.
• Remove syntax Routable.
• Remove option, only optional is correct.
• Replace adt by dataType, and support TuplesOfFunctions.

Documentation

• Fix remaining <:> to <.>.
• Fix typos in comments.
• Update ChangeLog.md.
• Update public presence.

Implementation

• Fix deprecated StarIsType.
• Gather in submodules.
• Rename module ADT to EithersOfTuples.
• Rename type variable repr to sem.

Build

• Check that the build before tagging.
• Ignore .pre-commit-config.yaml.
• Improve ghcid support.
• Improve flake.nix.
• Update nix input nixpkgs.

symantic-base-0.5.0.20221122 (2022-11-23)

Interface

• Add syntax for either.
• Add syntax IfSemantic.
• Add interpreter Reader.
• Fix gather in submodules.
• Move (.@) into Unabstractable.
• Remove option, only optional is correct.

Documentation

• Fix typos in comments.
• Update public presence.

Implementation

• Fix deprecated StarIsType.
• Gather in submodules.
• Rename type variable repr to sem.

Build

• Improve flake.nix.
• Update nix input nixpkgs.

symantic-base-0.4.0.20211106 (2021-11-18)

Interface

• Rename Symantic.{View => Viewer}.
• Rename Symantic.{ObserveSharing => SharingObserver}.
• Rename Symantic.{Class => Classes}.
• Update release version.

Documentation

• Fix minor shortcomings.
• Update ChangeLog.md.

Build

• Fix flake.lock to use a public Nixpkgs.
• Move all Nix config into flake.nix.
• Update nix input nixpkgs.

symantic-base-0.3.0.20211007 (2021-10-07)

Interface

• Add (<.) and (.>) to class ProductFunctor.
• Add class Inferable.
• Add classes Emptyable and Semigroupable.
• Add CurryN to the root import.
• Add class SumFunctor.
• Add instance Category Iso.
• Change (==) to curryed form.
• Change to infixr classes ProductFunctor and SumFunctor.
• Fix class Voidable.
• Fix class Dicurryable.
• Move some Abstractable methods to Functionable.
• Rename module Symantic.{Lang => Class}.
• Rename term {def => define}.
• Update release version.

Documentation

• Add ChangeLog.md.
• Rename {hut => code}.sourcephile.fr.

Implementation

• Cleanup formatting a bit.
• Cleanup useless import.

Build

• Add tool git-chglog for generating ChangeLog.md.
• Add tool reuse for copyright linting.
• Ignore more local-only files.
• Improve linting.
• Remove nix input flake-utils.
• Remove lingering Stack file.
• Update nix input nixpkgs.