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
@kit_ty_kate congrats for this important milestone !
@lthms thx! :)
@kit_ty_kate I THOUGHT I RECOGNISED THAT NAME
@kit_ty_kate oh my god