|
|
6bf7659b19
|
Fix line numbering issues due to updating Agda
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-08-18 11:14:09 -10:00 |
|
|
|
928adbd594
|
Publish Agda SPA post about lattices
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-07-06 17:46:54 -07:00 |
|
|
|
861dafef70
|
Finish up draft about lattices of finite height.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-07-05 20:43:26 -07:00 |
|
|
|
826a16eb66
|
Start working on part 3
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-27 22:26:01 -07:00 |
|
|
|
8656985885
|
Introduce "join" and "meet" as terms
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-16 20:12:39 -07:00 |
|
|
|
df75d6e017
|
Slightly expand the draft.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-09 19:39:00 -07:00 |
|
|
|
4c70e61a14
|
Write some more in combining lattices
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-30 22:41:15 -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 |
|
|
|
ee8b1f5dc0
|
Write a bit more, enable support for paragraph links
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-21 19:04:08 -07:00 |
|
|
|
4938cdaecd
|
Work some more on lattices 2
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-20 22:46:18 -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 |
|
|
|
78bba7a0e9
|
Update the blog for series navigation
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-20 00:37:16 -07:00 |
|
|
|
9d31764073
|
Tie up Lattices (1), and plan to write Lattices (2)
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-19 22:29:24 -07:00 |
|
|
|
60d3b3025a
|
Flesh out the Lattices post some more
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-14 21:43:12 -07:00 |
|
|
|
291a1f0178
|
Update SPA article on Lattices with new math delimiters
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-13 18:22:21 -07:00 |
|
|
|
befcd3cf98
|
Add a sidenote about land and lor.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-13 15:41:50 -07:00 |
|
|
|
6179c86919
|
Show the basic Nat lattice.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-12 18:52:26 -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 |
|
