Merge: Infer more attribute types
[nit.git] / contrib / nitin / Makefile
2018-02-14 Alexis Laferrièrenitin: use `prompt`
2017-04-24 Jean Privatcontrib/nitin: new interactive interpreter proof of...