nitg&i: handle new `implies` operator
authorJean Privat <jean@pryen.org>
Fri, 23 Aug 2013 19:25:37 +0000 (15:25 -0400)
committerJean Privat <jean@pryen.org>
Fri, 23 Aug 2013 19:25:37 +0000 (15:25 -0400)
commit16f0234f091f71b4ac944d16464ab12b7108735c
tree5665e646b6d2fa0a0ab4067836f4f33781e4735c
parent1a4a25e5b5d0235b30f28debc3ec3078a9ea7daf
nitg&i:  handle new `implies` operator

Signed-off-by: Jean Privat <jean@pryen.org>
src/abstract_compiler.nit
src/flow.nit
src/naive_interpreter.nit
src/transform.nit
src/typing.nit