Tue Dec 01 15:45:50+0100 2020
1a792ac
| name | last commit | date |
 d.scm | Properly compare numbers | Sun Apr 05 16:21:42+0200 2020 |
| rdf.scm | Add rdf utils. | Tue Apr 07 04:55:59+0200 2020 |
| rdfs.scm | Typo | Sun Apr 05 16:05:46+0200 2020 |
| simple.scm | Add RDF entailment regime | Sat Apr 04 00:47:35+0200 2020 |