A demand-driven compiler with strong IDE support - View it on GitHub