monadt_with_IO/MonadtSample.lean
2024-06-05 15:49:21 +09:00

3 lines
No EOL
162 B
Text

-- This module serves as the root of the `MonadtSample` library.
-- Import modules here that should be built as part of the library.
import «MonadtSample».Basic