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.

Name		Name	Last commit message	Last commit date
Latest commit History 45 Commits
complexity		complexity
jicmu		jicmu
spofu		spofu
tolsarxe		tolsarxe
.gitignore		.gitignore
COPYING		COPYING
Makefile		Makefile
README.rst		README.rst
animalia.poset		animalia.poset
bridi.mt.md		bridi.mt.md
cat.jq		cat.jq
complexity.poset		complexity.poset
danlu.animalia.monotone		danlu.animalia.monotone
danlu.poset		danlu.poset
jicmu.pl		jicmu.pl
lit.sh		lit.sh
mlatu.jbo		mlatu.jbo
nu.poset		nu.poset
poset.py.md		poset.py.md
pruce.mt		pruce.mt
rel.elm		rel.elm
shell.nix		shell.nix
tax.jq		tax.jq
zbasu.mt		zbasu.mt

MostAwesomeDude/klesi