lakefile.lean

import Lake
open Lake DSL

package sovereignArray where
  srcDir := "ArrayLang"

lean_lib «ArrayLang» where
  root := `ArrayLang