highscore-server/src/score.v

7 lines
56 B
Coq
Raw Normal View History

2023-01-07 13:00:00 +01:00
module main
struct Score {
player string
score int
}