nitunit: improve summary of results
[nit.git] / lib / logic / lexpr.nit
2016-04-22 Jean Privatlib: add logic library