A few observations:
Seems very ML/Haskell inspired.
All tuples seem to require parenthesis.
Definitely not ergonomic on a qwertz layout (Altough, what language is?)
No current plans for an interactive/repl version it seems
No dependant types either.
Overall, pretty interesting. Definitely warrants a closer look.