lean4game/lakefile.lean at 866c4b7211ec06b62403f50875abf8a8c25088b5 - lean4game - Gitea - PHC

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

13 lines

154 B

Plaintext

Raw Blame History

 import Lake
 open Lake DSL
 package GameServer
 lean_lib GameServer
 @[defaultTarget]
 lean_exe gameserver {
   root := `Main
   supportInterpreter := true
 }