1
0
Fork 0
auts/isotest/const.v

9 lines
83 B
Coq
Raw Normal View History

2020-08-21 01:14:57 +02:00
module main
const (
c_tile_w = 32
c_tile_h = 16
2020-08-22 13:39:53 +02:00
c_cell_w = 32
c_cell_h = 16
2020-08-21 01:14:57 +02:00
)