A total functional language embedded in Scala using macros. - View it on GitHub