A statically typed, expression-oriented language for services, tools, and native applications. Failure is a value, absence is explicit, and every match is exhaustive. One executable checks, runs, tests, formats, lints, documents, and bundles programs, and serves editors over LSP.
-
Updated
Nov 11, 2026 - Haskell