@hackage / omega

A purely functional programming language and a proof system

Latest1.5.2

Changelog

This release does not have a Changelog