|
|
c04de0d582
|
Moved doc files to same structure as in index
|
2023-12-10 22:00:32 +02:00 |
|
|
|
98c71953a4
|
lint topos
|
2023-12-04 18:35:36 +01:00 |
|
|
|
1bc7fcd3cb
|
adding links
|
2023-12-03 20:37:55 +01:00 |
|
|
|
eb8ef879e7
|
Rewrite part of evaluation logic, run prettier
|
2023-11-26 01:49:34 +01:00 |
|
|
|
dbacc913e2
|
New special key: Ctrl+M to hide the interface
|
2023-11-22 21:15:55 +01:00 |
|
|
|
f27b20bbb1
|
move files around
|
2023-11-18 00:54:10 +01:00 |
|
