Closed coot closed 5 years ago
I'd rather name them foldDropped and foldLifted. A little longer, but less ambiguous. Otherwise :+1:
Sent from my iPhone
On 6 Oct 2018, at 23.07, Marcin Szamotulski notifications@github.com wrote: You can view, comment on, or merge this pull request online at: https://github.com/phadej/lattices/pull/76 Commit Summary Added lifted and dropped: maybe like maps File Changes M src/Algebra/Lattice/Dropped.hs (9) M src/Algebra/Lattice/Lifted.hs (9) Patch Links: https://github.com/phadej/lattices/pull/76.patch https://github.com/phadej/lattices/pull/76.diff — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.
On 6 Oct 2018, at 23.07, Marcin Szamotulski notifications@github.com wrote:
You can view, comment on, or merge this pull request online at:
https://github.com/phadej/lattices/pull/76
Commit Summary
Added lifted and dropped: maybe like maps File Changes
M src/Algebra/Lattice/Dropped.hs (9) M src/Algebra/Lattice/Lifted.hs (9) Patch Links:
https://github.com/phadej/lattices/pull/76.patch https://github.com/phadej/lattices/pull/76.diff — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.
Done; btw I recently wrote a package based on lattices: heyting-algebras
lattices
I'd rather name them foldDropped and foldLifted. A little longer, but less ambiguous. Otherwise :+1:
Sent from my iPhone