Popularity
1.6
Declining
Activity
0.0
Stable
1
1
1

Monthly Downloads: 19
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Data    
Latest version: v0.1.0.0

semibounded-lattices alternatives and similar packages

Based on the "Data" category.
Alternatively, view semibounded-lattices alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of semibounded-lattices or a related project?

Add another 'Data' Package

README

semibounded-lattices

A Haskell implementation of semibounded lattices

Terminologies coming from

Lower bounded lattice Upper bounded lattice:

Stanislaw Zukowski. Introduction to Lattice Theory, Formalized Mathematics 1(1), pages 215-222, 1990.

co-Heyting Algebra:

https://ncatlab.org/nlab/show/co-Heyting+algebra