Emily Pillmore (eff1b73b) at 15 Aug 23:50
add Ed's license
Emily Pillmore (a65f8eef) at 15 Aug 23:43
Add bands and rectangular bands
Emily Pillmore (fec7485a) at 15 Aug 23:31
update headers + fix up some imports
Emily Pillmore (beb50887) at 15 Aug 17:27
Emily Pillmore (47609d87) at 15 Aug 17:27
Merge branch 'wip/lattices' into 'main'
... and 36 more commits
Emily Pillmore (2ec80480) at 15 Aug 02:57
Emily Pillmore (beb50887) at 15 Aug 02:57
Merge branch 'wip/lattices-redux' into 'wip/lattices'
... and 5 more commits
Emily Pillmore (2ec80480) at 15 Aug 00:56
put back instances
Emily Pillmore (be20776c) at 15 Aug 00:55
make language flush
Emily Pillmore (42db2bff) at 15 Aug 00:54
merge wip/lattices
Fix my typo: it's Heyting, not Heytig
Co-authored-by: Emily Pillmore emilypi@cohomolo.gy
Fix my typo: it's Heyting, not Heytig
Co-authored-by: Emily Pillmore emilypi@cohomolo.gy
Emily Pillmore (1e2f861a) at 15 Aug 00:25
add the lattice of directed sets
davean (6266df13) at 11 Apr 00:00
Add BoundedJoin
davean (ee6ad318) at 10 Apr 23:51
Need to dounble check Idempotents and Commutivity on these instances.
davean (43acd197) at 10 Apr 21:15
Support older GHCs.