summary refs log tree commit diff
path: root/Bananas.lean
blob: f003560b3ccc2e80b1e08c930b7d82de9c4aa2ab (plain)
1
2
3
-- This module serves as the root of the `Bananas` library.
-- Import modules here that should be built as part of the library.
import «Bananas».Basic