d-plaindoux / thicket / 144

Builds Branch Commit Type Ran Committer Via Coverage
144 master Fix issue related to self which if not closed during type checking push d-plaindoux travis-ci pending completion   set done
143 master List implementation enhanced push d-plaindoux travis-ci pending completion   set done
142 master Add optional type in let expression push d-plaindoux travis-ci pending completion   set done
141 master README.md + tests push d-plaindoux travis-ci pending completion   set done
140 master README.md + tests push d-plaindoux travis-ci pending completion   set done
139 master Review grammar and imrpove infix term representation push d-plaindoux travis-ci pending completion   set done
138 master Missing transitive closure on unification push d-plaindoux travis-ci pending completion   set done
137 master Lint push d-plaindoux travis-ci pending completion   set done
135 master Missing freshType generation push d-plaindoux travis-ci pending completion   set done
134 master Remove unused method push d-plaindoux travis-ci pending completion   set done
133 master Fix performance issue due to deep first substitution mechanism push d-plaindoux travis-ci pending completion   set done
132 master Remove type generalisation in ternal let expression push d-plaindoux travis-ci pending completion   set done
131 master Remove Pattern from types sort and abstract type builder from term sort push d-plaindoux travis-ci pending completion   set done
130 master Fix issue related to this type push d-plaindoux travis-ci pending completion   set done
129 master Polymorphic type generalized push d-plaindoux travis-ci pending completion   set done