Commit Graph

Select branches

Hide Pull Requests

colors

donations

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• e5fb0a2929 Write more master Danila Fedorin 2024-11-16 15:25:26 -0800
• 3bd1f0c8a0 Update Agda SPA imp Danila Fedorin 2024-11-16 15:16:57 -0800
• 948759b7d4 Update the SPA repo Danila Fedorin 2024-11-16 14:44:02 -0800
• f2e424944e Start working on the control flow graphs post Danila Fedorin 2024-11-13 19:57:08 -0800
• 8a471c6b45 Add missing imp.bergamot file for rendering imperative programs Danila Fedorin 2024-11-06 10:43:47 -0800
• 9b93582d18 Fix meta description on part 4 of SPA Danila Fedorin 2024-11-03 17:59:37 -0800
• 9fc2d16fb8 Adjust dates of part 4 and part 5 to match real publication dates Danila Fedorin 2024-11-03 17:51:13 -0800
• f00c69f02c Edit and publish SPA part 5 Danila Fedorin 2024-11-03 17:50:11 -0800
• 4fc1191d13 Proofread and publish part 4 Danila Fedorin 2024-11-03 17:37:44 -0800
• 951aafc90a Stop using 'symeq' Danila Fedorin 2024-11-03 17:12:39 -0800
• ee13409b33 Add a visualization of two ASTs Danila Fedorin 2024-11-03 17:06:19 -0800
• 615aeb72da Finish most of part 5 of SPA series Danila Fedorin 2024-11-03 16:58:06 -0800
• 3be67ca4c8 Use unification-based 'eq' for numbers and symbols Danila Fedorin 2024-11-03 16:05:04 -0800
• 37dd9ad6d4 Write the semantics section using Bergamot Danila Fedorin 2024-10-13 13:31:47 -0700
• 77dade1d1d Move all bergamot partials and shortcodes into theme Danila Fedorin 2024-09-15 20:10:04 -0700
• d140422225 Update theme Danila Fedorin 2024-09-15 20:05:46 -0700
• 2defe99c73 Update theme w/ more Bergamot affordances Danila Fedorin 2024-09-15 19:49:37 -0700
• 0766211d79 Turn semantics post into page bundle Danila Fedorin 2024-09-15 18:47:32 -0700
• b854eade3c Remove configs from website that are now defined in theme Danila Fedorin 2024-09-15 18:46:23 -0700
• c6f34f8eaa Delete unused shortcodes Danila Fedorin 2024-09-15 17:46:13 -0700
• 0ba5799c75 Update theme with missing file Danila Fedorin 2024-09-15 16:39:17 -0700
• 324fa948e6 Bring in more theme updates Danila Fedorin 2024-09-15 16:28:07 -0700
• 3e46ff8be6 Update vanilla theme to handle loading Bergamot Danila Fedorin 2024-09-15 15:39:46 -0700
• 18eb1da5ba Allow render rules to be customized using render presets Danila Fedorin 2024-09-15 13:49:57 -0700
• dde7df4604 Update to new Bergamot version Danila Fedorin 2024-09-15 10:33:40 -0700
• e4101f1396 Fix missing paren Danila Fedorin 2024-09-01 15:19:47 -0700
• d94ceeab2e Make minor edits to part 5 of SPA Danila Fedorin 2024-08-31 11:37:28 -0700
• 697f083237 Reference more future posts in SPA intro Danila Fedorin 2024-08-18 15:05:55 -1000
• 3e97fdcfea Start work on the draft about semantics Danila Fedorin 2024-08-18 15:05:39 -1000
• 40007c427e Avoid using a non-greedy match and just avoid $ in {{< latex >}} Danila Fedorin 2024-08-18 14:16:42 -1000
• 5ab0d0d40e Use a non-greedy match for the double-dollar-sign escaping Danila Fedorin 2024-08-18 14:07:16 -1000
• 7c65afbc93 Fix more line numbers Danila Fedorin 2024-08-18 13:31:08 -1000
• fb071e55aa Update 'submodules.json' with new submodule Danila Fedorin 2024-08-18 13:23:20 -1000
• 406c934b7a Update code in blog post to match new line numbers Danila Fedorin 2024-08-18 13:22:28 -1000
• 292cf009e6 Remove --local-interfaces as it is no longer needed Danila Fedorin 2024-08-18 12:29:35 -1000
• 6bf7659b19 Fix line numbering issues due to updating Agda Danila Fedorin 2024-08-18 11:14:09 -1000
• 0a90e8da29 Write a draft of the fixed point algorithm article Danila Fedorin 2024-08-18 11:05:51 -1000
• 32fe8e5ee6 Update the referenced Agda submodule Danila Fedorin 2024-08-18 10:30:21 -1000
• 7ccbaa7829 Make sure all links are consistent Danila Fedorin 2024-08-09 06:48:26 -0700
• 7817c9a4ce Add draft link support to analyze.rb Danila Fedorin 2024-08-08 17:54:25 -0700
• bf9b0aedf9 Edit and publish part 3 Danila Fedorin 2024-08-08 17:30:17 -0700
• 21b2ff208e Edit and publish part 2 Danila Fedorin 2024-08-08 16:45:13 -0700
• ecad4541f6 Add a (not-yet-valid) link to part 4 Danila Fedorin 2024-08-08 16:44:48 -0700
• 864276ea72 Delete .DS_Store file Danila Fedorin 2024-08-01 21:23:13 -0700
• 23eb36b911 Update theme Danila Fedorin 2024-07-16 14:31:06 -0700
• 51bcd116b3 Update other dates on lattice drafts Danila Fedorin 2024-07-06 17:52:17 -0700
• 928adbd594 Publish Agda SPA post about lattices Danila Fedorin 2024-07-06 17:42:53 -0700
• e91b6f692f Publish introducton to SPA in Agda Danila Fedorin 2024-07-06 17:39:03 -0700
• 861dafef70 Finish up draft about lattices of finite height. Danila Fedorin 2024-07-05 20:43:26 -0700
• 388c23c376 Write more on finite height lattices Danila Fedorin 2024-07-05 12:09:29 -0700
• 82d9196c90 Update theme with bugfix Danila Fedorin 2024-06-27 22:32:13 -0700
• 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