klesi

This is an attempt to make ologs using Lojban gismu and jq.

The jewel of this code is the Knuth–Bendix completion, computed iteratively from categorical facts to provide a basis for rewriting queries.

Failed to load latest commit information.
jicmu	Check in everything.	Jan 4, 2018
spofu	Check in everything.	Jan 4, 2018
tolsarxe	fendi fi lo spofu .e lo tolsarxe	Dec 14, 2017
.gitignore	Pull everything together into a single make.	Dec 14, 2017
COPYING	Initial import.	Oct 7, 2017
Makefile	Go literate.	Jun 20, 2018
README.rst	Initial Knuth–Bendix completion.	Oct 12, 2017
animalia.poset	Move forward with monotone maps.	Jun 4, 2018
bridi.mt.md	Keep moving.	May 30, 2018
cat.jq	Initial Knuth–Bendix completion.	Oct 12, 2017
complexity.poset	complexity: A bit more on QIP.	May 30, 2018
danlu.animalia.monotone	Move forward with monotone maps.	Jun 4, 2018
danlu.poset	Move forward with monotone maps.	Jun 4, 2018
lit.sh	Go literate.	Jun 20, 2018
mlatu.jbo	Keep moving.	May 30, 2018
nu.poset	Organize NU into a poset.	Jun 1, 2018
poset.py.md	Go literate.	Jun 20, 2018
pruce.mt	Check in everything.	Jan 4, 2018
rel.elm	Factor and fix up primitives with wide arities.	Jan 17, 2018
shell.nix	Keep moving.	May 30, 2018
tax.jq	Refactor subsets to be a tree.	Oct 23, 2017
zbasu.mt	saske	Dec 19, 2017

MostAwesomeDude/klesi