nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8870df) | patch
lib: add logic library
authorJean Privat <jean@pryen.org>
Fri, 22 Apr 2016 20:43:35 +0000 (16:43 -0400)
committerJean Privat <jean@pryen.org>
Fri, 22 Apr 2016 20:43:35 +0000 (16:43 -0400)
commit711e32bd5241de2e8ba9c9cea501e0aeef49aeb8
treec0dc7585e5c5d315d85214755816165ef74b2bb7tree | snapshot
parente8870dfb37a027287a9b4ba573767ef1fe74ac8ecommit | diff
lib: add logic library

After cleaning some CTF code.

Signed-off-by: Jean Privat <jean@pryen.org>
lib/logic/lexpr.nit [new file with mode: 0644] blob
lib/logic/logic.nit [new file with mode: 0644] blob
lib/logic/package.ini [new file with mode: 0644] blob
Nit language project; an oo programing language and its tool suite.