Ecosyste.ms: Packages

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

bower.io "heyting" keyword

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
idris 1 algebra 1 algebras 1 verified 1 bounded 1 lattice 1 lattices 1 heyting-algebras 1 join 1 meet 1 semilattice 1 semilattices 1