OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-rocca commits / b391864

Merge pull request #74 from ngeiswei/replace-prec-by-bigslopedwedge
Replace ≺ by ⩘
b39186498b1f5009db671141fce449af3bef3688
by Nil Geisweiller <ngeiswei@gmail.com> · 2022-07-15T07:01:27.000Z