@hackage / omega

A purely functional programming language and a proof system

1.5.2

Version history