A programming language most of declarative and imperative programming

Here is a unique language being developed at my university (The University of Melbourne) by Peter Schachte. I found it quite interesting as it aims to lower the barrier of entry to FP

Looks interesting!