@hackage / omega

A purely functional programming language and a proof system

Latest1.5.2

About

Metadata

  • Last updated , by GaborGreif
  • License BSD-3-Clause
  • Categories Compilers and Interpreters

  • Maintained by: ggreif@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

Omega is a purely functional programming language (like Haskell) and it also enables built-in proofs about program correctness employing the Curry-Howard correspondence. Powerful metaprogramming facilities and extensible syntax for data make programming a less verbose experience.