7 lines
93 B
Plaintext
7 lines
93 B
Plaintext
import Lake
|
|
open Lake DSL
|
|
|
|
package «lean-learning» {
|
|
-- add configuration options here
|
|
}
|