monadt_with_IO/MonadtSample.lean

3 lines
162 B
Text
Raw Permalink Normal View History

2024-06-05 15:49:21 +09:00
-- 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