d-plaindoux / thicket / 66

Builds Branch Commit Type Ran Committer Via Coverage
66 master Still working on pruning, unification and typechecker / immutable push d-plaindoux travis-ci pending completion   set done
65 master Add test failure push d-plaindoux travis-ci pending completion   set done
62 master Syntax reviewed push d-plaindoux travis-ci pending completion   set done
61 master Add functional term push d-plaindoux travis-ci pending completion   set done
60 master Add types to parameters push d-plaindoux travis-ci pending completion   set done
59 master Improve typechecker using monads push d-plaindoux travis-ci pending completion   set done
58 master Progressing on type unification push d-plaindoux travis-ci pending completion   set done
57 master Test type prune push d-plaindoux travis-ci pending completion   set done
56 master Review code: Refactoring and optimization push d-plaindoux travis-ci pending completion   set done
55 master Minor refactoring: exception renamed to atry push d-plaindoux travis-ci pending completion   set done
54 master Type checker in progress push d-plaindoux travis-ci pending completion   set done
53 master Dramatically improve parser / Data option optimized - 15 times faster push d-plaindoux travis-ci pending completion   set done
52 master Free variables implementation / tests done push d-plaindoux travis-ci pending completion   set done
51 master Restaure coverage / broken in the previous version push d-plaindoux travis-ci pending completion   set done
49 master Type checker in progress push d-plaindoux travis-ci pending completion   set done