]> Git — Sourcephile - haskell/symantic-base.git/history - symantic-base.cabal
iface: add many `Forall` instances
[haskell/symantic-base.git] / symantic-base.cabal
2023-09-07 Julien Moutinhoiface: move `Syntaxes.Data` to `Semantics.Data`
2023-09-07 Julien Moutinhoiface: add semantic `Identity`
2023-08-30 Julien Moutinhodoc: move description to modules' header
2023-08-30 Julien Moutinhoiface: add semantic `Forall`
2023-07-17 Julien Moutinhoiface: remove `ToFer` semantic in favor of `(-->)`
2023-01-25 Julien Moutinhodoc: update `ChangeLog.md` symantic-base-0.5.0.20221211
2023-01-25 Julien Moutinhoimpl: rename module `ADT` to `EithersOfTuples`
2023-01-25 Julien Moutinhoiface: replace `adt` by `dataType`, and support `Tuples...
2023-01-25 Julien Moutinhodoc: update `ChangeLog.md`
2023-01-25 Julien Moutinhoiface: fix gather in submodules
2022-08-22 Julien Moutinhodoc: update public presence
2022-03-07 Julien Moutinhoiface: remove `option`, only `optional` is correct
2022-03-07 Julien Moutinhoiface: add interpreter `Reader`
2021-11-18 Julien Moutinhoiface: update release `version`
2021-11-18 Julien Moutinhoiface: rename `Symantic.{View => Viewer}`
2021-11-06 Julien Moutinhoiface: rename `Symantic.{ObserveSharing => SharingObser...
2021-11-06 Julien Moutinhoiface: rename `Symantic.{Class => Classes}`
2021-11-06 Julien Moutinhobuild: move all Nix config into `flake.nix`
2021-10-31 Julien Moutinhodoc: fix minor shortcomings
2021-10-28 Julien Moutinhoiface: update release `version` symantic-base-0.3.0.20211007
2021-10-28 Julien Moutinhodoc: rename {hut => code}.sourcephile.fr
2021-10-28 Julien Moutinhoiface: rename module `Symantic.{Lang => Class}`
2021-10-28 Julien Moutinhodoc: add `ChangeLog.md`
2021-10-27 Julien Moutinhoimpl: cleanup formatting a bit
2021-09-03 Julien Moutinhomake: add checks
2021-08-31 Julien Moutinhocopyright: fix REUSE symantic-base-0.2.0.20210831
2021-08-30 Julien Moutinhocopyright: comply with REUSE-3.0 symantic-base-0.2.0.20210731
2021-07-31 Julien Moutinhoremove ShowLetName master
2021-07-27 Julien MoutinhoObserveSharing: add tools to analyze mutually recursive... symantic-base-0.2.0.20210726
2021-07-14 Julien MoutinhoMerge Dityped and Typed; Dityped is not necessary for... symantic-base-0.2.0.20210714
2021-07-11 Julien Moutinhocabal: clean up and describe
2021-07-11 Julien Moutinhoharmonize deriving and module names
2021-07-11 Julien Moutinhocabal: cleanup
2021-07-11 Julien Moutinhocabal: update bug-reports
2021-07-11 Julien Moutinhocabal: bump to version 0.1.0.20210703
2021-07-11 Julien Moutinhoadd Symantic.Typed
2021-07-11 Julien Moutinhochange license to AGPL-3.0-or-later
2020-08-18 Julien Moutinhofix Haddock comments symantic-base-0.0.2.20200708
2020-08-18 Julien Moutinhofix Haddock comments symantic-base-0.0.1.20200708
2020-07-10 Julien Moutinhoadd trans1 and trans2
2020-05-26 Julien Moutinhoinit