1
2
3
4
5
6
module Main where

import OpenlabTools qualified

main :: IO ()
main = OpenlabTools.main