Eric Mertens
|
edcb8eb4f0
|
Update for new GHC and vty
|
2024-05-22 14:16:46 -07:00 |
|
|
|
e83bb7de4c
|
levels
|
2022-12-08 20:11:16 -08:00 |
|
Eric Mertens
|
a105ceabab
|
improvements
|
2022-12-08 18:58:07 -08:00 |
|
Eric Mertens
|
2dbf578d33
|
cleaner model
|
2022-12-08 09:34:27 -08:00 |
|
Eric Mertens
|
a67bbea3cb
|
big ?
|
2022-12-07 17:31:07 -08:00 |
|
Eric Mertens
|
84f74366bb
|
handle blocks having undefined location
|
2022-12-07 13:37:02 -08:00 |
|
|
|
af5305cc24
|
add bigfont
|
2022-12-07 10:40:50 -08:00 |
|
|
|
babd42f838
|
configurable sizes
|
2022-12-07 10:11:06 -08:00 |
|
Eric Mertens
|
2912fb9488
|
support sizes other than 9
|
2022-12-06 13:39:30 -08:00 |
|
|
|
9c9b99788a
|
unused stuff
|
2022-12-05 21:15:18 -08:00 |
|
Eric Mertens
|
f97154b96c
|
external level files
|
2022-12-05 17:00:19 -08:00 |
|
|
|
d93374c5c6
|
more levels
|
2022-12-05 08:13:26 -08:00 |
|
|
|
997c624465
|
add a simple level select menu
|
2022-12-04 19:55:30 -08:00 |
|
|
|
14c8d62646
|
render deep infinities correctly
|
2022-12-04 17:16:43 -08:00 |
|
|
|
884ea15e6c
|
nicer level parser
|
2022-12-04 16:45:15 -08:00 |
|
|
|
50a01efc5f
|
epsilon working
|
2022-12-04 15:59:22 -08:00 |
|
|
|
b77716c6bc
|
hide boring blocks
|
2022-12-03 13:33:02 -08:00 |
|
|
|
877d7dc251
|
Bigger flat
|
2022-12-03 11:54:06 -08:00 |
|
|
|
100087d1fb
|
optional flat view
|
2022-12-03 11:50:06 -08:00 |
|
|
|
19fb1304bd
|
Indicate victory
|
2022-12-02 21:33:44 -08:00 |
|
|
|
86a360bfaf
|
add world list
|
2022-12-02 20:56:58 -08:00 |
|
|
|
f9d9e332eb
|
add some level selection
|
2022-12-02 20:53:45 -08:00 |
|
|
|
f01d1f643c
|
levels
|
2022-12-02 19:57:04 -08:00 |
|
|
|
0b3555be9e
|
fix border render
|
2022-12-02 19:33:27 -08:00 |
|
Eric Mertens
|
b63b11659b
|
subpixel into
|
2022-12-02 18:49:26 -08:00 |
|
Eric Mertens
|
3cd62194b9
|
9
|
2022-12-02 15:46:42 -08:00 |
|
Eric Mertens
|
523d951a67
|
symlinks
|
2022-12-02 15:28:05 -08:00 |
|
Eric Mertens
|
77a31583f4
|
refactor rendering
|
2022-12-02 11:48:03 -08:00 |
|
Eric Mertens
|
7f236b0fe2
|
fiddle with world map
|
2022-12-02 11:26:00 -08:00 |
|
Eric Mertens
|
f940ce8d75
|
proper rendered borders
|
2022-12-02 10:54:31 -08:00 |
|
|
|
8202e48fa8
|
fix into
|
2022-11-30 23:20:18 -08:00 |
|
Eric Mertens
|
4dec7e103d
|
pre-exit
|
2022-11-30 16:44:30 -08:00 |
|
Eric Mertens
|
48af4f917c
|
🐣
|
2022-11-30 13:38:12 -08:00 |
|
