Slate Operational Transform Demo (used in production at Narration Box)
-
Updated
Aug 1, 2020 - JavaScript
Slate Operational Transform Demo (used in production at Narration Box)
Interfaces for heyting algebras and verified bounded join and meet semilattices
Modeling plurals, mass terms of fragment of English in Haskell
A minimal implementation accompaning the paper "Sampling Signals on Meet/Join Lattices" to reproduce the results.
Kleene Logic in purescript
Add a description, image, and links to the semilattice topic page so that developers can more easily learn about it.
To associate your repository with the semilattice topic, visit your repo's landing page and select "manage topics."