Skip to content
0.17.2
Giovanni Ciatto's avatar
Giovanni Ciatto
@gciatto-unibo
4feadc37 · update README.md · 
minor improvements in :ide, :oop-lib, and :core (enriched Clause API)