More simplifications

Julien LepillerThu Apr 09 23:35:20+0200 2020

a5ece22

guile-rdf/rdf/entailment
namelast commitdate
d.scmProperly compare numbersSun Apr 05 16:21:42+0200 2020
rdf.scmAdd rdf utils.Tue Apr 07 04:55:59+0200 2020
rdfs.scmTypoSun Apr 05 16:05:46+0200 2020
simple.scmAdd RDF entailment regimeSat Apr 04 00:47:35+0200 2020