1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
import Lake open Lake DSL package «hashmap» { -- add package configuration options here } lean_lib «Hashmap» { -- add library configuration options here } @[default_target] lean_exe «hashmap» { root := `Main }