Labrys 0.1 is finally out after 5 years of solo dev, mostly self-learning. It is still highly unstable but good enough for a first release.
You can install it using OPAM with « opam depext -ui labrys »
Its name comes from the Lesbian symbol 😇
Its syntax is a mix between OCaml and Haskell without type inference. It features an effect system, checked exceptions, higher-order polymorphism and an LLVM backend.
The current semantic of the underlying type-system: https://github.com/kit-ty-kate/labrys/blob/master/doc/system-fw-with-effects.pdf
Cybrespace is an instance of Mastodon, a social network based on open web protocols and free, open-source software. It is decentralized like e-mail.