MiniAgda-0.2025.7.23: main/Main.hs

{-# LANGUAGE NoImplicitPrelude #-}

module Main (module X) where

import MainLib as X (main)