Merge: typing: Add `do_typing` on AExpr
[nit.git] / lib / logic / logic.nit
2016-04-22 Jean Privatlib: add logic library