]> Git — Sourcephile - majurity.git/log
majurity.git
6 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

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

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

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

6 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.

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

6 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.

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

6 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.

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

6 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.

7 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.

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

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

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

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