haskellari lattices issues

haskellari / lattices

Fine-grained lattice primitives for Haskell

BSD 3-Clause "New" or "Revised" License

35 stars 15 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Support GHC-8.6.5..GHC-9.10.1

#127 phadej closed 1 month ago
0
Support GHC-8.6.5..GHC-9.10.1

#126 phadej closed 1 month ago
0
tasty-1.5 not accepted

#125 ysangkok closed 2 months ago
2
Support GHC-9.8

#124 phadej closed 8 months ago
0
Comment fix: correct meet and join symbols

#123 instinctive opened 1 year ago
0
Add GHC-9.6 job

#122 phadej closed 1 year ago
0
There are transformers-0.6 install plans for GHC-8.8+ only

#121 phadej closed 1 year ago
0
Fix comparable of PartialOrd (a,b) instance, remove Stacked in favour of Either

#120 phadej closed 1 year ago
0
Allow base-4.17

#119 phadej closed 1 year ago
0
Allow transformers-0.6

#118 phadej closed 2 years ago
0
Interface provided by `PartialOrd` isn't practical/efficient

#117 andreasabel opened 2 years ago
2
Allow hashable-1.4

#116 phadej closed 2 years ago
0
Add Solo instances

#115 phadej closed 2 years ago
0
Allow base-compat-0.12

#114 phadej closed 2 years ago
0
Add a bitset newtype wrapper

#113 Jashweii opened 3 years ago
3
Heyting instances for Dropped, Lifted and Levitated

#112 coot opened 3 years ago
0
Allow base-4.15

#111 phadej closed 3 years ago
0
Don't run doctest on CI

#110 phadej opened 3 years ago
0
Use docspec

#109 phadej closed 3 years ago
0
Pr 106 noinline laws

#108 phadej closed 3 years ago
0
Use GitHub Actions

#107 phadej closed 3 years ago
0
Mark *Laws functions NOINLINE (#105)

#106 sgraf812 closed 3 years ago
3
Compiling the testsuite with GHC 8.10.2 and optimisations takes a huge amount of memory

#105 sgraf812 closed 3 years ago
2
Add instances for Predicate

#104 kozross opened 4 years ago
0
Allow base 4.14

#103 phadej closed 4 years ago
0
Fix typo

#102 snowleopard closed 4 years ago
1
Replicated

#101 erykciepiela closed 4 years ago
3
Stacked-lattice

#100 phadej closed 4 years ago
0
Stacked instance of Lattice, conversion functions from Either and Maybe

#99 erykciepiela closed 4 years ago
2
Either as a lattice, Maybe as a lattice

#98 erykciepiela closed 4 years ago
3
Updates 2019-09-19

#97 phadej closed 4 years ago
0
Allow base-4.13

#96 phadej closed 4 years ago
0
Reintroduce Join/MeetSemiLattice

#95 dbeacham closed 3 years ago
26
PartialOrd default impl. for `leq` via Ord

#94 spacekitteh opened 4 years ago
0
Fix typo in CHANGELOG.md

#93 Bodigrim closed 4 years ago
1
PartialOrd Either

#92 phadej closed 4 years ago
0
Allow semigroups-0.19

#91 phadej closed 5 years ago
0
Add unicode characters

#90 phadej closed 5 years ago
0
Improve haddocks

#89 phadej closed 5 years ago
0
LJT

#88 phadej closed 5 years ago
0
Small tweaks

#87 phadej closed 5 years ago
0
Heyting

#86 phadej closed 5 years ago
0
Add M2 and M3 as examples

#85 phadej closed 5 years ago
0
Set union not necessarily commutative

#84 rightfold opened 5 years ago
2
Regenerate .travis.yml

#83 phadej closed 5 years ago
0
Re-organise

#82 phadej closed 5 years ago
0
Turn `joinLeq` and `meetLeq` into class methods

#81 yairchu closed 5 years ago
10
Apply cabal-fmt

#80 phadej closed 5 years ago
0
Add tests for the relationship between leq and compare

#79 mitchellwrosen closed 5 years ago
6
Merge heyting-algebras

#78 coot closed 4 years ago
2