|
|
7ccbaa7829
|
Make sure all links are consistent
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-08-09 06:48:26 -07:00 |
|
|
|
ecad4541f6
|
Add a (not-yet-valid) link to part 4
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-08-08 16:44:48 -07:00 |
|
|
|
e91b6f692f
|
Publish introducton to SPA in Agda
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-07-06 17:42:44 -07:00 |
|
|
|
8e4759bd2b
|
Start on the navigation links in Agda SPA intro
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-30 20:52:33 -07:00 |
|
|
|
71c030b947
|
Slightly tweak wording and front matter in Agda SPA posts
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-30 20:02:49 -07:00 |
|
|
|
84f28ae5ce
|
Add tags to Agda articles
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-20 21:46:14 -07:00 |
|
|
|
a20fe07a56
|
Move original 'monotone function' text into new post and heavily rework it
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-12 18:28:44 -07:00 |
|
|
|
2b5dcf12d7
|
Rename the SPA intro to have a specific name
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-12 13:50:29 -07:00 |
|
