Bananas.lean - recursion-schemes-lean4.git - FP with bananas, lenses, and barbed wire in lean4

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