|
|
5db2333f0b
|
starting messing around with notations but I need to talk to Antoine
|
2023-02-13 19:02:22 -05:00 |
|
|
|
b5063a4d88
|
saving work
|
2023-02-03 11:06:52 +01:00 |
|
|
|
fcad72919f
|
several changes here and there + fix compilation problem (the new .rty wasn't staged...)
|
2023-02-03 09:50:57 +01:00 |
|
|
|
cc5d0328f2
|
lots of small changes in intro
|
2023-01-31 22:07:17 +01:00 |
|
|
|
2f6e721591
|
add commands
|
2022-12-13 13:53:17 +01:00 |
|
