]> Git — Sourcephile - haskell/symantic-base.git/log
sourcephile / git / haskell / symantic-base.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
haskell/symantic-base.git
2 years agobuild: remove lingering Stack file
commit | commitdiff | tree
Julien Moutinho [Sat, 4 Sep 2021 16:39:26 +0000 (18:39 +0200)]
build: remove lingering Stack file

2 years agodoc: typo symantic-base-0.2.0.20210903
commit | commitdiff | tree
Julien Moutinho [Fri, 3 Sep 2021 11:48:29 +0000 (13:48 +0200)]
doc: typo

2 years agomake: add checks
commit | commitdiff | tree
Julien Moutinho [Fri, 3 Sep 2021 11:44:09 +0000 (13:44 +0200)]
make: add checks

2 years agodoc: fix nesting of titles
commit | commitdiff | tree
Julien Moutinho [Fri, 3 Sep 2021 11:39:55 +0000 (13:39 +0200)]
doc: fix nesting of titles

2 years agocopyright: fix REUSE symantic-base-0.2.0.20210831
commit | commitdiff | tree
Julien Moutinho [Tue, 31 Aug 2021 17:02:45 +0000 (19:02 +0200)]
copyright: fix REUSE

2 years agocopyright: comply with REUSE-3.0 symantic-base-0.2.0.20210731
commit | commitdiff | tree
Julien Moutinho [Mon, 30 Aug 2021 18:21:21 +0000 (20:21 +0200)]
copyright: comply with REUSE-3.0

2 years agoremove ShowLetName master
commit | commitdiff | tree
Julien Moutinho [Sat, 31 Jul 2021 10:25:11 +0000 (12:25 +0200)]
remove ShowLetName

2 years agoObserveSharing: add tools to analyze mutually recursive lets. symantic-base-0.2.0.20210726
commit | commitdiff | tree
Julien Moutinho [Mon, 26 Jul 2021 07:32:09 +0000 (09:32 +0200)]
ObserveSharing: add tools to analyze mutually recursive lets.

2 years agoMerge Dityped and Typed; Dityped is not necessary for dimap to work symantic-base-0.2.0.20210714
commit | commitdiff | tree
Julien Moutinho [Wed, 14 Jul 2021 05:47:25 +0000 (07:47 +0200)]
Merge Dityped and Typed; Dityped is not necessary for dimap to work

2 years agocabal: clean up and describe
commit | commitdiff | tree
Julien Moutinho [Sun, 11 Jul 2021 19:15:05 +0000 (21:15 +0200)]
cabal: clean up and describe

2 years agorename class {Derive => Derivable} symantic-base-0.1.0.20210703
commit | commitdiff | tree
Julien Moutinho [Sat, 10 Jul 2021 19:23:20 +0000 (21:23 +0200)]
rename class {Derive => Derivable}

2 years agoharmonize deriving and module names
commit | commitdiff | tree
Julien Moutinho [Sat, 10 Jul 2021 18:22:19 +0000 (20:22 +0200)]
harmonize deriving and module names

2 years agocabal: cleanup
commit | commitdiff | tree
Julien Moutinho [Sat, 10 Jul 2021 16:15:03 +0000 (18:15 +0200)]
cabal: cleanup

2 years agocabal: update bug-reports
commit | commitdiff | tree
Julien Moutinho [Sat, 10 Jul 2021 16:08:44 +0000 (18:08 +0200)]
cabal: update bug-reports

2 years agoclean up indentation
commit | commitdiff | tree
Julien Moutinho [Sat, 10 Jul 2021 15:56:33 +0000 (17:56 +0200)]
clean up indentation

2 years agocabal: bump to version 0.1.0.20210703
commit | commitdiff | tree
Julien Moutinho [Sat, 10 Jul 2021 15:55:07 +0000 (17:55 +0200)]
cabal: bump to version 0.1.0.20210703

2 years agoadd Symantic.Typed
commit | commitdiff | tree
Julien Moutinho [Mon, 5 Jul 2021 21:40:23 +0000 (23:40 +0200)]
add Symantic.Typed

2 years agorename Symantic.{Base => Dityped}
commit | commitdiff | tree
Julien Moutinho [Mon, 5 Jul 2021 21:38:20 +0000 (23:38 +0200)]
rename Symantic.{Base => Dityped}

2 years agochange license to AGPL-3.0-or-later
commit | commitdiff | tree
Julien Moutinho [Fri, 9 Jul 2021 15:33:26 +0000 (17:33 +0200)]
change license to AGPL-3.0-or-later

3 years agofix Haddock comments symantic-base-0.0.2.20200708
commit | commitdiff | tree
Julien Moutinho [Tue, 18 Aug 2020 10:11:35 +0000 (12:11 +0200)]
fix Haddock comments

3 years agofix Haddock comments symantic-base-0.0.1.20200708
commit | commitdiff | tree
Julien Moutinho [Tue, 18 Aug 2020 09:20:09 +0000 (11:20 +0200)]
fix Haddock comments

3 years agoadd trans1 and trans2
commit | commitdiff | tree
Julien Moutinho [Fri, 10 Jul 2020 07:31:35 +0000 (09:31 +0200)]
add trans1 and trans2

3 years agoinit
commit | commitdiff | tree
Julien Moutinho [Sat, 23 May 2020 03:01:45 +0000 (05:01 +0200)]
init

Library for basic symantic combinators