]> Git — Sourcephile - majurity.git/log
majurity.git
5 years agoPolish code
Julien Moutinho [Tue, 16 Apr 2019 15:37:48 +0000 (15:37 +0000)]
Polish code

5 years agoAdd HLint.hs symlinks
Julien Moutinho [Sun, 14 Apr 2019 23:44:33 +0000 (23:44 +0000)]
Add HLint.hs symlinks

5 years agoAdd majorityValueOfRank
Julien Moutinho [Sun, 14 Apr 2019 01:26:59 +0000 (01:26 +0000)]
Add majorityValueOfRank

5 years agoRemove useless OPTIONS
Julien Moutinho [Tue, 26 Feb 2019 11:19:16 +0000 (11:19 +0000)]
Remove useless OPTIONS

5 years agoFix typos in comments
Julien Moutinho [Thu, 21 Feb 2019 15:20:56 +0000 (15:20 +0000)]
Fix typos in comments

5 years agoFix Ord MajorityGauge
Julien Moutinho [Wed, 13 Feb 2019 20:29:10 +0000 (20:29 +0000)]
Fix Ord MajorityGauge

5 years agoAdd and test rankOfMajorityValue
Julien Moutinho [Mon, 11 Feb 2019 03:19:52 +0000 (03:19 +0000)]
Add and test rankOfMajorityValue

5 years agostack: bump to lts-12.25
Julien Moutinho [Sun, 23 Dec 2018 10:43:42 +0000 (10:43 +0000)]
stack: bump to lts-12.25

5 years agoFix ghcid support.
Julien Moutinho [Fri, 9 Nov 2018 12:08:40 +0000 (12:08 +0000)]
Fix ghcid support.

5 years agoImprove documentation.
Julien Moutinho [Mon, 29 Oct 2018 01:58:43 +0000 (01:58 +0000)]
Improve documentation.

5 years agoAdd MajorityGauge (old code though).
Julien Moutinho [Mon, 3 Sep 2018 03:57:11 +0000 (05:57 +0200)]
Add MajorityGauge (old code though).

5 years agoFix majorityValue: update the middlemost correctly.
Julien Moutinho [Mon, 3 Sep 2018 03:52:27 +0000 (05:52 +0200)]
Fix majorityValue: update the middlemost correctly.

5 years agoPolish documentation.
Julien Moutinho [Sat, 23 Jun 2018 14:20:42 +0000 (16:20 +0200)]
Polish documentation.

5 years agoAdd default section share at judgment level.
Julien Moutinho [Tue, 12 Jun 2018 02:18:20 +0000 (04:18 +0200)]
Add default section share at judgment level.

5 years agoPolissage Gnumakefile.
Julien Moutinho [Sun, 3 Jun 2018 14:10:19 +0000 (16:10 +0200)]
Polissage Gnumakefile.

5 years agoAdd support for multiple choices in Section.
Julien Moutinho [Tue, 29 May 2018 17:17:07 +0000 (19:17 +0200)]
Add support for multiple choices in Section.

5 years agoAdd Hjugement.Section.
Julien Moutinho [Fri, 25 May 2018 22:44:03 +0000 (00:44 +0200)]
Add Hjugement.Section.

5 years agoUse HashMap.
Julien Moutinho [Sat, 19 May 2018 11:30:34 +0000 (13:30 +0200)]
Use HashMap.

6 years agoMassage hjugement.cabal.
Julien Moutinho [Wed, 14 Feb 2018 00:33:22 +0000 (01:33 +0100)]
Massage hjugement.cabal.

6 years agoBump stack resolver to lts-9.0.
Julien Moutinho [Mon, 14 Aug 2017 23:11:08 +0000 (01:11 +0200)]
Bump stack resolver to lts-9.0.

6 years agoFix doc.
Julien Moutinho [Mon, 14 Aug 2017 23:10:28 +0000 (01:10 +0200)]
Fix doc.

6 years agoFix tar GNUmakefile target.
Julien Moutinho [Tue, 8 Aug 2017 07:04:27 +0000 (09:04 +0200)]
Fix tar GNUmakefile target.

6 years agoFix doc.
Julien Moutinho [Tue, 8 Aug 2017 06:52:09 +0000 (08:52 +0200)]
Fix doc.

6 years agoinit
Julien Moutinho [Tue, 1 Aug 2017 19:40:10 +0000 (21:40 +0200)]
init