|
|
8656985885
|
Introduce "join" and "meet" as terms
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-16 20:12:39 -07:00 |
|
|
|
1fb7e5ff85
|
Finish draft of part 2, combining lattices
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-16 18:09:56 -07:00 |
|
|
|
df75d6e017
|
Slightly expand the draft.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-09 19:39:00 -07:00 |
|
|
|
7b03183e75
|
Continue expanding on the map draft
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-09 18:02:04 -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 |
|
|
|
04f12b545d
|
Minor edits to 'lattices 2'
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-25 20:45:19 -07:00 |
|
|
|
711b01175d
|
Put the number back to what it was
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-24 23:12:27 -07:00 |
|
|
|
272c2666c5
|
Inconsequential tweak to test Agda caching in build system
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-24 13:44:34 -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 |
|
|
|
58e7a1f2dc
|
Start on a draft of 'combining lattices'
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-20 21:39:03 -07:00 |
|
