]> Git — Sourcephile - haskell/symantic-base.git/history - src/Symantic/Semantics
sourcephile / git / haskell / symantic-base.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
iface: add many `Forall` instances
[haskell/symantic-base.git] / src / Symantic / Semantics /
2023-09-27 Julien Moutinhoiface: add many `Forall` instances main tree | commitdiff
2023-09-27 Julien Moutinhoiface: rename `OpenRec` to `OpenLetRec` tree | commitdiff
2023-09-25 Julien Moutinhoiface: add data instance `Data (Inferable c)` tree | commitdiff
2023-09-15 Julien Moutinhoimpl: format `ViewerEnv` field names tree | commitdiff
2023-09-15 Julien Moutinhoiface: rename `runViewer` to `view` tree | commitdiff
2023-09-15 Julien Moutinhoiface: add instance `IfThenElseable Viewer` tree | commitdiff
2023-09-14 Julien Moutinhoimpl: add more reductions to `normalOrderReduction` tree | commitdiff
2023-09-14 Julien Moutinhoimpl: fix `Unabstractable` instance for `SomeData` tree | commitdiff
2023-09-13 Julien Moutinhoiface: rename `observeSharing` to `sharingObserver` tree | commitdiff
2023-09-11 Julien Moutinhoiface: rename `unFinalizeSharing` to `unSharingFinalizer` tree | commitdiff
2023-09-07 Julien Moutinhoiface: rename syntax `Functionable` to `Unabstractable` tree | commitdiff
2023-09-07 Julien Moutinhoiface: rename syntax `Unabstractable` to `Instantiable` tree | commitdiff
2023-09-07 Julien Moutinhoiface: move `Syntaxes.Data` to `Semantics.Data` tree | commitdiff
2023-09-07 Julien Moutinhoiface: add semantic `Identity` tree | commitdiff
2023-08-30 Julien Moutinhodoc: move description to modules' header tree | commitdiff
2023-08-30 Julien Moutinhoiface: add syntax `Abstractable` to semantic `Forall` tree | commitdiff
2023-08-30 Julien Moutinhoiface: split syntax `Abstractable` into `Abstractable1... tree | commitdiff
2023-08-30 Julien Moutinhoiface: add semantic `Forall` tree | commitdiff
2023-07-17 Julien Moutinhoiface: remove `ToFer` semantic in favor of `(-->)` tree | commitdiff
2023-06-26 Julien Moutinhoiface: fix `data_` constraints to handle contravariant... tree | commitdiff
2023-06-20 Julien Moutinhodoc: fix typo in `ToFer` tree | commitdiff
2023-01-25 Julien Moutinhoimpl: rename module `ADT` to `EithersOfTuples` tree | commitdiff
2023-01-25 Julien Moutinhoiface: replace `adt` by `dataType`, and support `Tuples... tree | commitdiff
2023-01-25 Julien Moutinhoiface: remove syntax `Routable` tree | commitdiff
2023-01-25 Julien Moutinhoiface: add syntax for `either` tree | commitdiff
2023-01-25 Julien Moutinhoiface: fix gather in submodules tree | commitdiff
2022-11-22 Julien Moutinhoimpl: rename type variable `repr` to `sem` tree | commitdiff
2022-11-22 Julien Moutinhoimpl: gather in submodules tree | commitdiff
Library for basic symantic combinators