Skip to content
Lightfold

Lightfold

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