d-plaindoux / thicket / 176

Builds Branch Commit Type Ran Committer Via Coverage
176 master Separate runtime and predefined type and code push d-plaindoux travis-ci pending completion   set done
175 master Package refactoring push d-plaindoux travis-ci pending completion   set done
174 master Code normalisation + lib in progress push d-plaindoux travis-ci pending completion   set done
173 master Delta rules an library push d-plaindoux travis-ci pending completion   set done
172 master minor refactoring push d-plaindoux travis-ci pending completion   set done
171 master Refactoring - move full compiler in the Movico package instead of Runtime push d-plaindoux travis-ci pending completion   set done
170 master Improve separation of concern - eta-conversion done for sentences compilation push d-plaindoux travis-ci pending completion   set done
169 master exhibit the complete compiler and link it with the REPL push d-plaindoux travis-ci pending completion   set done
168 master Fix minor issue in unification (wrong subsitution composition order for transitive closure) push d-plaindoux travis-ci pending completion   set done
167 master REPL in progress push d-plaindoux travis-ci pending completion   set done
166 master REPL toplevel push d-plaindoux travis-ci pending completion   set done
165 master JS-Hint broken (once again :-() push d-plaindoux travis-ci pending completion   set done
163 master Brute force Compile in progress push d-plaindoux travis-ci pending completion   set done
162 master Brute force compiler/interpret in progress push d-plaindoux travis-ci pending completion   set done
160 master Brute force compiler in progress push d-plaindoux travis-ci pending completion   set done