obsidiansystems/dependent-sum
1
1
Fork 0
mirror of https://github.com/obsidiansystems/dependent-sum.git synced 2024-10-26 09:28:42 +03:00
Code Issues Projects Releases Wiki Activity
238 Commits 13 Branches 33 Tags 381 KiB

Default Branch

master

e52a81ebe9 · Document 0.7.2.0-r2 in the change log · Updated 2023-11-20 23:37:51 +03:00
 ZIP  TAR.GZ

Branches

develop

12ef069572 · Merge branch 'master' into develop · Updated 2023-11-20 23:38:33 +03:00
0
31
 ZIP  TAR.GZ
release/0.7.2.0

43c633312b · v0.7.2.0 · Updated 2022-12-22 19:19:32 +03:00
6
0
 Included
 ZIP  TAR.GZ
bump-constraints-extras

619727ba17 · bump constraints-extras · Updated 2022-11-18 21:41:23 +03:00
10
0
 Included
 ZIP  TAR.GZ
release-dependent-sum/0.7.1.0-r2

db6d3cc3f3 · Mark second hackage revision in change log · Updated 2021-12-31 08:35:24 +03:00
11
7
 ZIP  TAR.GZ
release/0.7.1.0-r1

6e777670b6 · Merge pull request #56 from ollef/master · Updated 2021-03-12 01:25:43 +03:00
28
0
 Included
 ZIP  TAR.GZ
aa/bump-2

d55011d382 · Remove re-exported modules · Updated 2020-12-07 17:47:16 +03:00
30
11
 ZIP  TAR.GZ
aa/bump

86a12ecc1c · Merge upstream · Updated 2020-12-06 21:52:59 +03:00
57
6
 ZIP  TAR.GZ
cg-new-constraints-extras

de70daa3ea · Change in extensions for new constraints-extras · Updated 2020-07-09 21:38:30 +03:00
57
6
 ZIP  TAR.GZ
incremental-view-peg

b3e9a992e6 · backport of cg-modernise-th changes · Updated 2020-05-12 18:07:18 +03:00
57
5
 ZIP  TAR.GZ
release/0.7.1.0

73ab6cb233 · dependent-sum 0.7.1.0 · Updated 2020-03-25 23:59:44 +03:00
30
0
 Included
 ZIP  TAR.GZ
v0.2.x

930ac32049 · Merge pull request #5 from TomMD/patch-1 · Updated 2015-02-19 07:28:10 +03:00
204
0
 Included
 ZIP  TAR.GZ
experimental

aa3f1db5e3 · bumped version number and added GHC version guards to enable PolyKinds · Updated 2014-06-24 23:02:14 +04:00
204
0
 Included
 ZIP  TAR.GZ