Skip to content

JonathanWoollett-Light/language

Repository files navigation

language

GitHub deployments codecov

A language with the features of all those cool functional languages, but actually usable.

No-one thinks in the way functional languages are written. This will never change, no matter how many new functional languages PhD students publish.

About

A formally verified procedural language for systems programming.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published