|
e2e4c2c29f
|
docs: rework template and add stages framework
|
2024-01-18 20:20:30 +01:00 |
|
|
8df3090ae1
|
actually write things
|
2024-01-18 20:20:30 +01:00 |
|
|
b91e697449
|
add example for multiple generics
|
2024-01-11 10:55:25 +01:00 |
|
|
e1dc5ce132
|
doc: change code from inline to blocks
|
2024-01-11 10:48:43 +01:00 |
|
|
22a655fd24
|
write initial type signature notation proposal
|
2024-01-10 12:45:41 +01:00 |
|
|
a3a7a00808
|
add typst design document stuff
|
2024-01-01 23:34:34 +01:00 |
|