Lightfold

A modern, functional and dependently typed language focused on practicability, conciceness and correctness.