]>
Git — Sourcephile - majurity.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Julien Moutinho [Sun, 14 Apr 2019 01:26:59 +0000 (01:26 +0000)]
Add majorityValueOfRank
Julien Moutinho [Tue, 26 Feb 2019 11:19:16 +0000 (11:19 +0000)]
Remove useless OPTIONS
Julien Moutinho [Thu, 21 Feb 2019 15:20:56 +0000 (15:20 +0000)]
Fix typos in comments
Julien Moutinho [Wed, 13 Feb 2019 20:29:10 +0000 (20:29 +0000)]
Fix Ord MajorityGauge
Julien Moutinho [Mon, 11 Feb 2019 03:19:52 +0000 (03:19 +0000)]
Add and test rankOfMajorityValue
Julien Moutinho [Sun, 23 Dec 2018 10:43:42 +0000 (10:43 +0000)]
stack: bump to lts-12.25
Julien Moutinho [Fri, 9 Nov 2018 12:08:40 +0000 (12:08 +0000)]
Fix ghcid support.
Julien Moutinho [Mon, 29 Oct 2018 01:58:43 +0000 (01:58 +0000)]
Improve documentation.
Julien Moutinho [Mon, 3 Sep 2018 03:57:11 +0000 (05:57 +0200)]
Add MajorityGauge (old code though).
Julien Moutinho [Mon, 3 Sep 2018 03:52:27 +0000 (05:52 +0200)]
Fix majorityValue: update the middlemost correctly.
Julien Moutinho [Sat, 23 Jun 2018 14:20:42 +0000 (16:20 +0200)]
Polish documentation.
Julien Moutinho [Tue, 12 Jun 2018 02:18:20 +0000 (04:18 +0200)]
Add default section share at judgment level.
Julien Moutinho [Sun, 3 Jun 2018 14:10:19 +0000 (16:10 +0200)]
Polissage Gnumakefile.
Julien Moutinho [Tue, 29 May 2018 17:17:07 +0000 (19:17 +0200)]
Add support for multiple choices in Section.
Julien Moutinho [Fri, 25 May 2018 22:44:03 +0000 (00:44 +0200)]
Add Hjugement.Section.
Julien Moutinho [Sat, 19 May 2018 11:30:34 +0000 (13:30 +0200)]
Use HashMap.
Julien Moutinho [Wed, 14 Feb 2018 00:33:22 +0000 (01:33 +0100)]
Massage hjugement.cabal.
Julien Moutinho [Mon, 14 Aug 2017 23:11:08 +0000 (01:11 +0200)]
Bump stack resolver to lts-9.0.
Julien Moutinho [Mon, 14 Aug 2017 23:10:28 +0000 (01:10 +0200)]
Fix doc.
Julien Moutinho [Tue, 8 Aug 2017 07:04:27 +0000 (09:04 +0200)]
Fix tar GNUmakefile target.
Julien Moutinho [Tue, 8 Aug 2017 06:52:09 +0000 (08:52 +0200)]
Fix doc.
Julien Moutinho [Tue, 1 Aug 2017 19:40:10 +0000 (21:40 +0200)]
init