omega-calculus This is a haskell port of Victor Maia's Ultimate Calculus: https://github.com/MaiaVictor/ultimate-calculus