A minimal algorithm to decide the word problem in Orthocomplemented Bisemilattices, in Scala. - View it on GitHub