specification. A statically typed functional programming inspired by Haskell, OCaml and Rust.

github.com/lambe-lang/specification

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.