]> Git — Sourcephile - majurity.git/history - hjugement
sourcephile / git / majurity.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
lib: impl: lint code
[majurity.git] / hjugement /
2023-11-25 Julien Moutinholib: impl: lint code tree | commitdiff
2023-11-25 Julien Moutinholib: doc: fix links and stuffs tree | commitdiff
2023-11-25 Julien Moutinholib: test: add type `G5` tree | commitdiff
2023-11-25 Julien Moutinholib: doc: fix broken link tree | commitdiff
2023-11-25 Julien Moutinholib: doc: add TODOs tree | commitdiff
2023-11-25 Julien Moutinholib: doc: remove wrong statement tree | commitdiff
2023-11-25 Julien Moutinholib: doc: fix typo tree | commitdiff
2019-11-07 Julien Moutinhostack: bump to lts-14.13 tree | commitdiff
2019-05-19 Julien Moutinhoprotocol: add {From,To}JSON instances tree | commitdiff
2019-05-12 Julien Moutinhomove test/ to tests/ tree | commitdiff
2019-04-16 Julien MoutinhoPolish code tree | commitdiff
2019-04-14 Julien MoutinhoAdd HLint.hs symlinks tree | commitdiff
2019-04-14 Julien MoutinhoAdd majorityValueOfRank tree | commitdiff
Tools for voting with Majority Judgment and Helios-C