Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

bower.io "semilattice" keyword

purescript-kleene-logic v0.1.0
Kleene Logic in purescript
1 version - Latest release: almost 7 years ago - 0 stars on GitHub
idris-heyting-algebra v0.2.0
Interfaces for heyting algebras and verified bounded join and meet semilattices
2 versions - Latest release: almost 7 years ago - 5 stars on GitHub
Related Keywords
lattice 2 kleene 1 logic 1 many-valued-logic 1 idris 1 heyting 1 algebra 1 algebras 1 verified 1 bounded 1 lattices 1 heyting-algebras 1 join 1 meet 1 semilattices 1