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

rename class {Derive => Derivable}

harmonize deriving and module names

cabal: cleanup

cabal: update bug-reports

clean up indentation

cabal: bump to version 0.1.0.20210703

add Symantic.Typed

rename Symantic.{Base => Dityped}

change license to AGPL-3.0-or-later

fix Haddock comments

fix Haddock comments

add trans1 and trans2

init