iface: add many `Forall` instances

iface: rename `OpenRec` to `OpenLetRec`

iface: add data instance `Data (Inferable c)`

impl: format `ViewerEnv` field names

iface: rename `runViewer` to `view`

iface: add instance `IfThenElseable Viewer`

impl: add more reductions to `normalOrderReduction`

impl: fix `Unabstractable` instance for `SomeData`

iface: remove `Abstractable` constraint from `(<>)`

iface: remove `Abstractable` constraint from `(==)`

iface: rename `observeSharing` to `sharingObserver`

iface: rename `unFinalizeSharing` to `unSharingFinalizer`

iface: rename syntax `Functionable` to `Unabstractable`

iface: rename syntax `Unabstractable` to `Instantiable`

iface: move `Syntaxes.Data` to `Semantics.Data`

iface: add semantic `Identity`

doc: move description to modules' header

doc: reformat comments

iface: add syntax `Abstractable` to semantic `Forall`

iface: split syntax `Abstractable` into `Abstractable1` and `Varable`

iface: add semantic `Forall`

doc: improve comment about `Derivable`

doc: rename type variable `able` to `syn`

doc: remove old comments

doc: fix comment about `CurryN`

impl: fix `(:!:)` completeness warning

iface: add the `a` parameter to the `Dataable` class

iface: remove `ToFer` semantic in favor of `(-->)`

`ToFer` only supported covariant semantics,
and required it to be a `Monad`.
This is no longer the case when using `(-->)`
directly in a semantic's definition.

iface: add instance `Eq Endpoint` and `Show Endpoint`

iface: fix `data_` constraints to handle contravariant `sem`

build: update nix input `nixpkgs`

doc: fix typo in `ToFer`

doc: update `ChangeLog.md`

iface: add `Endpoint`

build: check that the build before tagging

build: ignore `.pre-commit-config.yaml`

impl: rename module `ADT` to `EithersOfTuples`

build: improve `ghcid` support

iface: replace `adt` by `dataType`, and support `TuplesOfFunctions`

iface: remove syntax `Routable`

iface: fix export of `ADT`

doc: fix remaining `<:>` to `<.>`

doc: update `ChangeLog.md`

iface: add syntax for `either`

iface: fix gather in submodules

iface: move `(.@)` into `Unabstractable`

build: improve `flake.nix`

impl: rename type variable `repr` to `sem`

iface: add syntax `IfSemantic`

impl: gather in submodules

impl: fix deprecated `StarIsType`

doc: update public presence

build: update nix input `nixpkgs`

iface: remove `option`, only `optional` is correct

iface: add interpreter `Reader`

doc: fix typos in comments

doc: update `ChangeLog.md`

build: update nix input `nixpkgs`

iface: update release `version`

iface: rename `Symantic.{View => Viewer}`

iface: rename `Symantic.{ObserveSharing => SharingObserver}`

iface: rename `Symantic.{Class => Classes}`

build: move all Nix config into `flake.nix`

doc: fix minor shortcomings

build: fix `flake.lock` to use a public Nixpkgs

doc: update `ChangeLog.md`

iface: update release `version`

doc: rename {hut => code}.sourcephile.fr

iface: add class `Inferable`

build: ignore more local-only files

build: remove nix input `flake-utils`

iface: change `(==)` to curryed form

iface: add classes `Emptyable` and `Semigroupable`

build: add tool `git-chglog` for generating `ChangeLog.md`

iface: move some `Abstractable` methods to `Functionable`

iface: rename module `Symantic.{Lang => Class}`

build: update nix input `nixpkgs`

doc: add `ChangeLog.md`

impl: cleanup formatting a bit

iface: add instance `Category Iso`

iface: change to `infixr` classes `ProductFunctor` and `SumFunctor`

iface: add `(<.)` and `(.>)` to class `ProductFunctor`

iface: add class `SumFunctor`

iface: fix class `Dicurryable`

impl: cleanup useless import

build: add tool `reuse` for copyright linting

iface: add `CurryN` to the root import

iface: rename term `{def => define}`

iface: fix class `Voidable`

build: improve linting

build: remove lingering Stack file

doc: typo

make: add checks

doc: fix nesting of titles

copyright: fix REUSE

copyright: comply with REUSE-3.0

remove ShowLetName

ObserveSharing: add tools to analyze mutually recursive lets.

Merge Dityped and Typed; Dityped is not necessary for dimap to work

cabal: clean up and describe