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

838 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Danila Fedorin
0d3100ba33 Make exercises into details (so they can be collapsed) 2023-12-28 00:12:51 -08:00
Danila Fedorin
72fb69d87b Make minor changes to types: basics. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-27 23:31:45 -08:00
Danila Fedorin
ed4fcf5e9d Start explaining exercises in types intro. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-27 23:31:28 -08:00
Danila Fedorin
8742c6e7b9 Add a Bergamot exercise shortcode to give exercises. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-27 23:31:00 -08:00
Danila Fedorin
d7d7254a7b Extract loading and closing bergamot into a helper script. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-27 23:30:16 -08:00
Danila Fedorin
7e8870de6c Factor launching bergamot into a helper function 2023-12-27 13:27:20 -08:00
Danila Fedorin
8f2b2addc2 Rename the widget IDs to not include numbers. 2023-12-27 13:16:20 -08:00
Danila Fedorin
e4743bbdef Make some edits to 'types' part 1. 2023-12-26 14:02:48 -08:00
Danila Fedorin
80cdea6932 Update rendering rules for changes to Bergamot. 2023-12-26 13:22:38 -08:00
Danila Fedorin
645f2c5c9c Update inference rules to match new Bergamot's single-literal output 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-26 13:21:37 -08:00
Danila Fedorin
85b81ffc98 Modify rendering rules to handle precedence 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-25 18:42:43 -08:00
Danila Fedorin
fa5536f504 Add special styling for bergamot error messages 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-25 18:42:29 -08:00
Danila Fedorin
16086e79b0 Proofread and publish bergamot post 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-22 22:15:17 -08:00
Danila Fedorin
b001bba3b8 Tweak rendering rules to support int(x) and str(x). 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-22 22:00:46 -08:00
Danila Fedorin
0c895a2662 Add an initial draft of the Bergamot post. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-22 22:00:06 -08:00
Danila Fedorin
6f0641f315 Render variables better 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-22 16:04:47 -08:00
Danila Fedorin
dc9dbe8a0f Update for bergamot requiring an 'input program' too 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-22 16:04:33 -08:00
Danila Fedorin
0b8096f973 Tweak the menu selector style 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-22 16:04:04 -08:00
Danila Fedorin
d58a2a9975 Add overflow scroll to proof tree view. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-21 21:27:39 -08:00
Danila Fedorin
a83268a6e3 Update use of the bergamot widget 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-21 17:26:19 -08:00
Danila Fedorin
5c83f234c6 Include rendering rules in Bergamot widget. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-03 00:03:08 -08:00
Danila Fedorin
24abec4045 Add some more CSS for the updates to the bergamot widget 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-03 00:01:49 -08:00
Danila Fedorin
56ff56281e Add missing SCSS file for bergamot. 2023-11-29 23:26:09 -08:00
Danila Fedorin
c25f9ad9ae Add the work-in-progress Bergamot widget to the basics page. 2023-11-29 23:21:15 -08:00
Danila Fedorin
5041c90ac0 Add some partials to load and create a Bergamot widget. 
I've set up some infrastructure to build and host a bergamot JS
file using Nix on static.danilafe.com.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-29 22:29:14 -08:00
Danila Fedorin
2855675fa5 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-29 22:28:31 -08:00
Danila Fedorin
209689c5f4 Update the theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-27 22:18:15 -08:00
Danila Fedorin
3d64b0aa28 Update the 'vanilla' theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-24 11:04:42 -08:00
Danila Fedorin
3bceab0606 Fix dates 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-10-14 15:58:20 -07:00
Danila Fedorin
c189da3671 Finalize the X Macro article 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-10-14 15:38:54 -07:00
Danila Fedorin
dd232cedb5 Fixup links and add description to X Macros article. 2023-10-09 20:33:21 -07:00
Danila Fedorin
88c5daa561 Add the 'chapel' tag to the alloy article 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-10-09 20:24:19 -07:00
Danila Fedorin
4f281ef108 Add a draft article about X Macros 2023-10-09 20:23:57 -07:00
Danila Fedorin
12aca7ca58 Update the Alloy blogpost to point to the GitHub files. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-10-09 14:41:03 -07:00
Danila Fedorin
77ec1aa969 Update the 'vanilla' theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-10-09 14:40:45 -07:00
Danila Fedorin
8710a5554c Fix mistakes in the example.agda file for IsSomething. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-09-03 11:38:00 -07:00
Danila Fedorin
6b24d67409 Minor wording updates to the Agda post. 2023-08-31 22:30:36 -07:00
Danila Fedorin
48c3105f42 Finish and publish the IsSomething article 2023-08-31 22:16:26 -07:00
Danila Fedorin
032453c4d0 Add a first draft of the IsSomething article 2023-08-28 23:04:39 -07:00
Danila Fedorin
f093868da1 Add the missing general-base pattern drawing code 2023-08-28 20:46:29 -07:00
Danila Fedorin
1f5e38190d Fix DeMorgan's link 2023-06-04 22:03:38 -07:00
Danila Fedorin
250884c7bc Edit and publish Alloy article 2023-06-04 21:56:45 -07:00
Danila Fedorin
8a2e91e65e Update theme 2023-06-04 21:54:19 -07:00
Danila Fedorin
5910ce7980 Say screw it and publish polynomial article 2023-05-22 21:42:32 -07:00
Danila Fedorin
00bec06012 Make some edits to the polynomial draft 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-05-22 20:44:50 -07:00
Danila Fedorin
54dccdbc7d Fix accidentally lowercased shortcode 2023-05-14 21:23:22 -07:00
Danila Fedorin
2bd776ec55 Add a description and disclaimer to the Alloy draft. 2023-05-14 21:18:23 -07:00
Danila Fedorin
23cf7c9e8b Finish initial draft of the Alloy article. 2023-05-14 21:13:23 -07:00
Danila Fedorin
384f5de765 Make some more progress on the Alloy article. 2023-05-14 16:00:55 -07:00
Danila Fedorin
9ae4798d80 Hide Alloy article even from draft side 2023-05-04 21:03:37 -07:00