]> Git — Sourcephile - haskell/symantic-base.git/summary
sourcephile / git / haskell / symantic-base.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionLibrary for basic symantic combinators
last changeWed, 27 Sep 2023 23:48:32 +0000 (01:48 +0200)
URLgit://git.sourcephile.fr/haskell/symantic-base.git
git@git.sourcephile.fr:/haskell/symantic-base.git
shortlog
2023-09-27 Julien Moutinhoiface: add many `Forall` instances main commit | commitdiff | tree | snapshot
2023-09-27 Julien Moutinhoiface: rename `OpenRec` to `OpenLetRec` commit | commitdiff | tree | snapshot
2023-09-25 Julien Moutinhoiface: add data instance `Data (Inferable c)` commit | commitdiff | tree | snapshot
2023-09-15 Julien Moutinhoimpl: format `ViewerEnv` field names commit | commitdiff | tree | snapshot
2023-09-15 Julien Moutinhoiface: rename `runViewer` to `view` commit | commitdiff | tree | snapshot
2023-09-15 Julien Moutinhoiface: add instance `IfThenElseable Viewer` commit | commitdiff | tree | snapshot
2023-09-14 Julien Moutinhoimpl: add more reductions to `normalOrderReduction` commit | commitdiff | tree | snapshot
2023-09-14 Julien Moutinhoimpl: fix `Unabstractable` instance for `SomeData` commit | commitdiff | tree | snapshot
2023-09-14 Julien Moutinhoiface: remove `Abstractable` constraint from `(<>)` commit | commitdiff | tree | snapshot
2023-09-14 Julien Moutinhoiface: remove `Abstractable` constraint from `(==)` commit | commitdiff | tree | snapshot
2023-09-13 Julien Moutinhoiface: rename `observeSharing` to `sharingObserver` commit | commitdiff | tree | snapshot
2023-09-11 Julien Moutinhoiface: rename `unFinalizeSharing` to `unSharingFinalizer` commit | commitdiff | tree | snapshot
2023-09-07 Julien Moutinhoiface: rename syntax `Functionable` to `Unabstractable` commit | commitdiff | tree | snapshot
2023-09-07 Julien Moutinhoiface: rename syntax `Unabstractable` to `Instantiable` commit | commitdiff | tree | snapshot
2023-09-07 Julien Moutinhoiface: move `Syntaxes.Data` to `Semantics.Data` commit | commitdiff | tree | snapshot
2023-09-07 Julien Moutinhoiface: add semantic `Identity` commit | commitdiff | tree | snapshot
...
tags
9 months ago symantic-base-0.6.0.20230717 symantic-base-0.6.0.20230717 tag | commit | shortlog | log
15 months ago symantic-base-0.5.0.20221211 symantic-base-0.5.0.20221211 tag | commit | shortlog | log
2 years ago symantic-base-0.4.0.20211106 symantic-base-0.4.0.20211106 tag | commit | shortlog | log
2 years ago symantic-base-0.3.0.20211007 symantic-base-0.3.0.20211007 tag | commit | shortlog | log
2 years ago symantic-base-0.2.0.20210903 symantic-base v0.2.0.20210903 tag | commit | shortlog | log
2 years ago symantic-base-0.2.0.20210831 symantic-base v0.2.0.20210831 tag | commit | shortlog | log
2 years ago symantic-base-0.2.0.20210731 symantic-base v0.2.0.20210731 tag | commit | shortlog | log
2 years ago symantic-base-0.2.0.20210726 symantic-base v0.2.0.20210726 tag | commit | shortlog | log
2 years ago symantic-base-0.2.0.20210714 symantic-base v0.2.0.20210714 tag | commit | shortlog | log
2 years ago symantic-base-0.1.0.20210703 symantic-base v0.1.0.20210703 tag | commit | shortlog | log
3 years ago symantic-base-0.0.2.20200708 symantic-base v0.0.2.20200708 tag | commit | shortlog | log
3 years ago symantic-base-0.0.1.20200708 symantic-base v0.0.1.20200708 tag | commit | shortlog | log
heads
6 months ago main shortlog | log | tree
2 years ago master shortlog | log | tree
Library for basic symantic combinators