From 3acd1be44f080765f37ba65604b0bf9a12171b07 Mon Sep 17 00:00:00 2001 From: Vlad Ureche Date: Fri, 14 Feb 2014 16:37:35 +0100 Subject: README with Travis badge --- README.md | 2 ++ 1 file changed, 2 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index 4e983cfb2..b2de19e0c 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,8 @@ dotty ===== +[![Build Status](https://travis-ci.org/lampepfl/dotty.png?branch=master)](https://travis-ci.org/lampepfl/dotty) + Dotty is a platform to try out new language concepts and compiler technologies for Scala. The focus is mainly on simplification. We remove extraneous syntax (e.g. no XML literals), and try to boil down Scala's types into a smaller set of more fundamental constructors. The theory behind these constructors is researched in [DOT](http://www.cs.uwm.edu/~boyland/fool2012/papers/fool2012_submission_3.pdf), a calculus for dependent object types. The dotty compiler is largely a new design. It takes a more functional approach than current scalac, paired with aggressive caching to achieve good performance. At present, only the frontend (parser and type-checker) exists; the transformation and code generation phases remain to be written. -- cgit v1.2.3