Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
866 Commits 8 Branches 0 Tags 46 MiB
8a471c6b45
Commit Graph

866 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Danila Fedorin
54844fb954 Add script to generate HTML for all Agda files appropriately 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 17:34:32 -07:00
Danila Fedorin
6ffd3afeaa Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 17:07:37 -07:00
Danila Fedorin
9d0dcd98bd Improve support when code occurrs multiple times 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 17:05:38 -07:00
Danila Fedorin
f78f877e21 Support blocks that are the entire file 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 16:50:45 -07:00
Danila Fedorin
5d0b903c03 Support non-submodule code 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 16:47:42 -07:00
Danila Fedorin
032411fe9c Add a script to generate links using Agda's HTML output 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 16:28:00 -07:00
Danila Fedorin
76b061d699 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 16:23:47 -07:00
Danila Fedorin
08d37c839c Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-21 23:51:08 -07:00
Danila Fedorin
0a26230fe1 Remove unused shortcodes 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-21 20:09:48 -07:00
Danila Fedorin
2e59beda0c Update theme 2024-05-21 19:05:07 -07:00
Danila Fedorin
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
Danila Fedorin
4938cdaecd Work some more on lattices 2 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-20 22:46:18 -07:00
Danila Fedorin
84f28ae5ce Add tags to Agda articles 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-20 21:46:14 -07:00
Danila Fedorin
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
Danila Fedorin
78bba7a0e9 Update the blog for series navigation 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-20 00:37:16 -07:00
Danila Fedorin
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
Danila Fedorin
d787548915 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-16 16:17:01 -07:00
Danila Fedorin
a29bca499f Switch to using data/ for submodule information 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-16 15:52:33 -07:00
Danila Fedorin
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
Danila Fedorin
c036041339 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-14 20:32:37 -07:00
Danila Fedorin
1df315612a Update "typesafe interpreter" article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 19:08:17 -07:00
Danila Fedorin
15beddf96b Update btree article with new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 19:07:44 -07:00
Danila Fedorin
20d8b18a9b Update 'stack language recursion' article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 19:07:01 -07:00
Danila Fedorin
53ff0c39e4 Update "search as polynomial" article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 19:06:33 -07:00
Danila Fedorin
357a3bef09 Update the modulo patterns article to use new delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 19:04:08 -07:00
Danila Fedorin
81eef51e88 Update 'math rendering is wrong' to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 19:02:14 -07:00
Danila Fedorin
10dfb2fe49 Update "church encoding" article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 19:01:42 -07:00
Danila Fedorin
ef76149112 Update 'newtype' article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 19:01:08 -07:00
Danila Fedorin
a6a330a78e Update Haskell LSP article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 19:00:23 -07:00
Danila Fedorin
7f4d0df366 Update "catemorphisms" article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:59:54 -07:00
Danila Fedorin
3eddac0a89 Update "proving my compiler incorrect" to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:58:50 -07:00
Danila Fedorin
6e7ac1c1ca Update "I don't like Coq's docs" article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:58:15 -07:00
Danila Fedorin
68d9cf1274 Update 'evaluator for Dawn in Coq' article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:57:15 -07:00
Danila Fedorin
5eb0d1548c Update dawn-in-coq to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:55:59 -07:00
Danila Fedorin
e543904995 Update boolean values article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:54:11 -07:00
Danila Fedorin
ffda1d3235 Moved the bergamot article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:52:21 -07:00
Danila Fedorin
b705aa217c Update "expr pattern in agda" to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:50:56 -07:00
Danila Fedorin
6f20b17948 Update "compiler: polymorphic data types" to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:50:05 -07:00
Danila Fedorin
2fde7e5cf8 Update "compiler: polymorphism" to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:48:34 -07:00
Danila Fedorin
bee06b6731 Update "compiler: compilation" to use new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:43:14 -07:00
Danila Fedorin
d3fa7336a2 Update "compiler: execution" to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:38:05 -07:00
Danila Fedorin
96545a899f Update "compiler: typechecking" to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:33:30 -07:00
Danila Fedorin
6ef5ae2394 Update "types: variables" to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:31:52 -07:00
Danila Fedorin
05a31dd4d4 Update 'compiler: parsing' article to new string literals 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:30:27 -07:00
Danila Fedorin
d9d5c8bf14 Switch 'types: basics' to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:28:36 -07:00
Danila Fedorin
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
Danila Fedorin
2547b53aa2 Switch "Homework for an assignment" post 2 to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:20:54 -07:00
Danila Fedorin
409f8b7186 Switch tokenizing article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:20:04 -07:00
Danila Fedorin
189422bf1e Convert AoC Coq article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 18:16:20 -07:00
Danila Fedorin
74daeee140 Enable goldmark passthrough 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 17:47:52 -07:00