mirror of
https://github.com/deater/dos33fsprogs.git
synced 2024-10-05 01:54:56 +00:00
7 lines
76 B
Coq
7 lines
76 B
Coq
|
# Number of shapes
|
||
|
|
1
|
||
|
|
START
|
||
|
|
NUP NLT NUP DN DN DN RT DN NUP RT UP UP UP
|
||
|
|
STOP
|
||
|
|
|