A prototype successor to Idris - View it on GitHub