Commit Graph

Select branches

Hide Pull Requests

colors

donations

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• 826a16eb66 Start working on part 3 Danila Fedorin 2024-06-27 22:26:01 -0700
• 0b97eb85a1 Update theme Danila Fedorin 2024-06-26 19:49:24 -0700
• a2132001e8 Update theme Danila Fedorin 2024-06-26 19:25:32 -0700
• 4fd6dd5606 Make minor edits to article and update theme Danila Fedorin 2024-06-24 19:59:51 -0700
• 7b71ec4402 Update theme some more Danila Fedorin 2024-06-24 19:49:05 -0700
• 07771117ac Update theme Danila Fedorin 2024-06-24 19:28:41 -0700
• 7fbc884e94 Actually disable new tab external links Danila Fedorin 2024-06-24 18:48:13 -0700
• b40be72590 Disable opening external links in new tab Danila Fedorin 2024-06-24 17:52:14 -0700
• b3db25c470 Fix some typos and publish the microfeatures post Danila Fedorin 2024-06-23 18:02:13 -0700
• 6a7b6ffc1f Write an article about microfeatures Danila Fedorin 2024-06-23 17:59:03 -0700
• c87bb90c48 Update theme Danila Fedorin 2024-06-23 17:57:06 -0700
• a6225191d0 Update theme Danila Fedorin 2024-06-19 22:44:53 -0700
• afb904a64c Update theme Danila Fedorin 2024-06-19 22:29:09 -0700
• cbad391dcd Update theme Danila Fedorin 2024-06-19 22:18:19 -0700
• 0bf3facf6c Add series navigation before appendix Danila Fedorin 2024-06-19 22:04:01 -0700
• a9da39b987 Update theme Danila Fedorin 2024-06-19 22:03:54 -0700
• 1071bdd35a Update theme Danila Fedorin 2024-06-19 17:31:34 -0700
• 8656985885 Introduce "join" and "meet" as terms Danila Fedorin 2024-06-16 20:12:39 -0700
• 3be523b79e Update theme Danila Fedorin 2024-06-16 19:45:29 -0700
• 1fb7e5ff85 Finish draft of part 2, combining lattices Danila Fedorin 2024-06-16 18:09:56 -0700
• df75d6e017 Slightly expand the draft. Danila Fedorin 2024-06-09 19:39:00 -0700
• 29c9af4902 Update theme to generate links to file ranges where possible Danila Fedorin 2024-06-09 18:52:01 -0700
• 7b03183e75 Continue expanding on the map draft Danila Fedorin 2024-06-09 18:02:04 -0700
• 4c70e61a14 Write some more in combining lattices Danila Fedorin 2024-05-30 22:41:15 -0700
• b2b225f4ae Create only undirected edges from smaller node ID to higher node ID Danila Fedorin 2024-05-30 21:07:23 -0700
• c17142e648 Fix the call to 'uniq' in analyze.rb Danila Fedorin 2024-05-30 20:58:03 -0700
• 8e4759bd2b Start on the navigation links in Agda SPA intro Danila Fedorin 2024-05-30 20:52:33 -0700
• d2807917d2 Insert sequential links for series in analyze.rb Danila Fedorin 2024-05-30 20:52:14 -0700
• 71c030b947 Slightly tweak wording and front matter in Agda SPA posts Danila Fedorin 2024-05-30 20:02:49 -0700
• 1f3ab5349a Restore the dates in 'learning emulation' to their proper ones. Danila Fedorin 2024-05-30 18:58:38 -0700
• daaccb9b2f Add new groups to content graph script Danila Fedorin 2024-05-30 00:38:27 -0700
• b66c58b68e Lightly edit and publish the Agda+Hugo post Danila Fedorin 2024-05-30 00:30:05 -0700
• 13636a0d29 Write more about Agda+Hugo Danila Fedorin 2024-05-30 00:13:48 -0700
• 5232f0a6e2 Update theme with new code highlighting Danila Fedorin 2024-05-27 18:58:20 -0700
• 6a168f2fe1 Start on a draft about Agda and Hugo Danila Fedorin 2024-05-25 23:28:18 -0700
• 04f12b545d Minor edits to 'lattices 2' Danila Fedorin 2024-05-25 20:45:19 -0700
• 711b01175d Put the number back to what it was Danila Fedorin 2024-05-24 23:12:27 -0700
• 272c2666c5 Inconsequential tweak to test Agda caching in build system Danila Fedorin 2024-05-24 13:44:34 -0700
• 60ba43378a Make the destination folders Danila Fedorin 2024-05-24 13:21:33 -0700
• 1da60b3b28 Print result of executing command Danila Fedorin 2024-05-24 13:17:44 -0700
• ee118b07e5 Make build-agda-html.rb more configurable Danila Fedorin 2024-05-24 12:29:19 -0700
• 06ee998d54 Allow executing non-remote JS for KaTeX Danila Fedorin 2024-05-23 21:14:49 -0700
• c197a45540 Port over the HTML conversion script to execute JS Danila Fedorin 2024-05-23 21:03:03 -0700
• 4d23b45633 Update theme Danila Fedorin 2024-05-23 00:57:07 -0700
• c027efa931 Stop crashing on failed Agda invocation Danila Fedorin 2024-05-23 00:31:36 -0700
• 96c4d6fecc Fail if couldn't build Agda Danila Fedorin 2024-05-23 00:04:13 -0700
• 4e1fd54c58 Add Gemfile and lock for nokogiri since a script now uses it Danila Fedorin 2024-05-22 23:14:51 -0700
• d6db020e1c Adjust build script to accept Agda invocation Danila Fedorin 2024-05-22 23:05:36 -0700
• c0f4fe017f Replace absolute links with relrefs Danila Fedorin 2024-05-22 23:05:11 -0700
• 11d726a6ad Fix absolute link in favor of relref Danila Fedorin 2024-05-22 23:01:26 -0700
• 37399afc68 Update theme to generate series meta Danila Fedorin 2024-05-22 22:42:04 -0700
• 5c19fc4208 Automatically group files using the series meta Danila Fedorin 2024-05-22 22:41:32 -0700
• 00f0f13b93 Support cross-file linking Danila Fedorin 2024-05-22 22:29:26 -0700
• 54844fb954 Add script to generate HTML for all Agda files appropriately Danila Fedorin 2024-05-22 17:34:32 -0700
• 6ffd3afeaa Update theme Danila Fedorin 2024-05-22 17:07:37 -0700
• 9d0dcd98bd Improve support when code occurrs multiple times Danila Fedorin 2024-05-22 17:05:38 -0700
• f78f877e21 Support blocks that are the entire file Danila Fedorin 2024-05-22 16:50:45 -0700
• 5d0b903c03 Support non-submodule code Danila Fedorin 2024-05-22 16:47:42 -0700
• 032411fe9c Add a script to generate links using Agda's HTML output Danila Fedorin 2024-05-22 16:28:00 -0700
• 76b061d699 Update theme Danila Fedorin 2024-05-22 16:23:47 -0700
• 08d37c839c Update theme Danila Fedorin 2024-05-21 23:51:08 -0700
• 0a26230fe1 Remove unused shortcodes Danila Fedorin 2024-05-21 20:09:48 -0700
• 2e59beda0c Update theme Danila Fedorin 2024-05-21 19:05:07 -0700
• ee8b1f5dc0 Write a bit more, enable support for paragraph links Danila Fedorin 2024-05-21 19:04:08 -0700
• 4938cdaecd Work some more on lattices 2 Danila Fedorin 2024-05-20 22:46:18 -0700
• 84f28ae5ce Add tags to Agda articles Danila Fedorin 2024-05-20 21:46:14 -0700
• 58e7a1f2dc Start on a draft of 'combining lattices' Danila Fedorin 2024-05-20 21:39:03 -0700
• 78bba7a0e9 Update the blog for series navigation Danila Fedorin 2024-05-20 00:37:16 -0700
• 9d31764073 Tie up Lattices (1), and plan to write Lattices (2) Danila Fedorin 2024-05-19 22:29:24 -0700
• d787548915 Update theme Danila Fedorin 2024-05-16 16:17:01 -0700
• a29bca499f Switch to using data/ for submodule information Danila Fedorin 2024-05-16 15:38:59 -0700
• 60d3b3025a Flesh out the Lattices post some more Danila Fedorin 2024-05-14 21:43:12 -0700
• c036041339 Update theme Danila Fedorin 2024-05-14 20:32:37 -0700
• 1df315612a Update "typesafe interpreter" article to new math delimiters Danila Fedorin 2024-05-13 19:08:17 -0700
• 15beddf96b Update btree article with new math delimiters Danila Fedorin 2024-05-13 19:07:44 -0700
• 20d8b18a9b Update 'stack language recursion' article to new math delimiters Danila Fedorin 2024-05-13 19:07:01 -0700
• 53ff0c39e4 Update "search as polynomial" article to new math delimiters Danila Fedorin 2024-05-13 19:06:33 -0700
• 357a3bef09 Update the modulo patterns article to use new delimiters Danila Fedorin 2024-05-13 19:04:08 -0700
• 81eef51e88 Update 'math rendering is wrong' to new math delimiters Danila Fedorin 2024-05-13 19:02:14 -0700
• 10dfb2fe49 Update "church encoding" article to new math delimiters Danila Fedorin 2024-05-13 19:01:42 -0700
• ef76149112 Update 'newtype' article to new math delimiters Danila Fedorin 2024-05-13 19:01:08 -0700
• a6a330a78e Update Haskell LSP article to new math delimiters Danila Fedorin 2024-05-13 19:00:23 -0700
• 7f4d0df366 Update "catemorphisms" article to new math delimiters Danila Fedorin 2024-05-13 18:59:54 -0700
• 3eddac0a89 Update "proving my compiler incorrect" to new math delimiters Danila Fedorin 2024-05-13 18:58:50 -0700
• 6e7ac1c1ca Update "I don't like Coq's docs" article to new math delimiters Danila Fedorin 2024-05-13 18:58:15 -0700
• 68d9cf1274 Update 'evaluator for Dawn in Coq' article to new math delimiters Danila Fedorin 2024-05-13 18:57:15 -0700
• 5eb0d1548c Update dawn-in-coq to new math delimiters Danila Fedorin 2024-05-13 18:55:59 -0700
• e543904995 Update boolean values article to new math delimiters Danila Fedorin 2024-05-13 18:54:11 -0700
• ffda1d3235 Moved the bergamot article to new math delimiters Danila Fedorin 2024-05-13 18:52:21 -0700
• b705aa217c Update "expr pattern in agda" to new math delimiters Danila Fedorin 2024-05-13 18:50:56 -0700
• 6f20b17948 Update "compiler: polymorphic data types" to new math delimiters Danila Fedorin 2024-05-13 18:50:05 -0700
• 2fde7e5cf8 Update "compiler: polymorphism" to new math delimiters Danila Fedorin 2024-05-13 18:45:25 -0700
• bee06b6731 Update "compiler: compilation" to use new math delimiters Danila Fedorin 2024-05-13 18:43:14 -0700
• d3fa7336a2 Update "compiler: execution" to new math delimiters Danila Fedorin 2024-05-13 18:38:05 -0700
• 96545a899f Update "compiler: typechecking" to new math delimiters Danila Fedorin 2024-05-13 18:33:30 -0700
• 6ef5ae2394 Update "types: variables" to new math delimiters Danila Fedorin 2024-05-13 18:31:52 -0700
• 05a31dd4d4 Update 'compiler: parsing' article to new string literals Danila Fedorin 2024-05-13 18:30:27 -0700
• d9d5c8bf14 Switch 'types: basics' to new math delimiters Danila Fedorin 2024-05-13 18:28:36 -0700
• 291a1f0178 Update SPA article on Lattices with new math delimiters Danila Fedorin 2024-05-13 18:22:21 -0700
• 2547b53aa2 Switch "Homework for an assignment" post 2 to new math delimiters Danila Fedorin 2024-05-13 18:20:54 -0700