paulstansifer / unseemly / 103

Builds Branch Commit Type Ran Committer Via Coverage
103 v0.0.3 Release 0.0.3. push Paul Stansifer travis-ci-com pending completion   set done
102 master Release 0.0.3. push Paul Stansifer travis-ci-com pending completion   set done
101 master Documentation fixes, and add a test, reaching towards some forall fixes. push Paul Stansifer travis-ci-com pending completion   set done
100 master Web IDE: allow setting a specific language for the IDE. push Paul Stansifer travis-ci-com pending completion   set done
99 master Add configurability to the Web IDE (and allow turning off dynamic highlighting). push Paul Stansifer travis-ci-com pending completion   set done
98 master Optimize (I think!) generated syntax highlighters. push Paul Stansifer travis-ci-com pending completion   set done
97 master Oops; forgot to update this one. push Paul Stansifer travis-ci-com pending completion   set done
67 master Document the syntax for imports and betas. push paulstansifer travis-ci-com pending completion   set done
66 master Fixed `color-backtrace` dependency version number for cargo. push paulstansifer travis-ci-com pending completion   set done
65 v0.0.0 Some documentation revisions. push paulstansifer travis-ci-com pending completion   set done
64 master Some documentation revisions. push paulstansifer travis-ci-com pending completion   set done
63 master Apply some fixes (mostly `clone` removals) suggested by `cargo clippy`. push paulstansifer travis-ci-com pending completion   set done
62 master Update documentation with the new syntax. push paulstansifer travis-ci-com pending completion   set done
61 master Fix an issue that broke build_a_language.≉ (Need to automate testing of the examples. Need more unit tests.) push paulstansifer travis-ci-com pending completion   set done
60 master Remove the old dotdotdot Some support infrastructure may still remain. Need to do a good ol' fashioned tree-shaking at some point. push paulstansifer travis-ci-com pending completion   set done