keiro-ops-0.12.0.0: app/Main.hs

module Main (main) where

import Keiro.Ops qualified

main :: IO ()
main = Keiro.Ops.main