Commit Graph

5 Commits

Author SHA1 Message Date
Fedor Isakov 55801449fe Ignore IDEA's shelf files 2018-09-10 10:54:38 +02:00
Fedor Isakov 10d855c3fa Update gitignore. 2017-06-07 11:51:05 +02:00
Fedor Isakov c8812c139e Adopted the unification lib as part of this project. 2016-03-10 12:14:18 +01:00
Fedor Isakov 8f75050b2e Imported unification lib using maven via JitPack.io 2015-12-12 22:50:05 +01:00
Fedor Isakov 52c4df14ae Initial import. Kotlin libs 1.0 Beta 1103. Imported abstract constraints API from the Logic project 2015-11-20 14:55:48 +01:00