name = "golang-lean"
version = "0.1.0"
defaultTargets = ["golang-lean"]

[[lean_lib]]
name = "GolangLean"

[[lean_lib]]
name = "RosettaStone"

[[lean_exe]]
name = "golang-lean"
root = "Main"

[[lean_exe]]
name = "corpus-check"
root = "CorpusCheck"