webyrd / mediKanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
MIT License
323 stars 53 forks source link

documented and added examples to pub-clustering.rkt #36

Closed mzheng17 closed 4 years ago

mzheng17 commented 4 years ago

I'm not sure why the "fixed inaccuracy in rank-side-effects.rkt " commit is there, I may have accidentally committed it twice? I still don't know the ins and outs of git super well.

namin commented 4 years ago

Thanks! Not sure what's going on with fixed inaccuracy, but github is not complaining, so should be OK.