A Hugo incarnation of the blog. https://danilafe.com

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Danila Fedorin 5c83f234c6 Include rendering rules in Bergamot widget. ... Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>		2 days ago
archetypes	Generate initial site	4 years ago
assets/scss	Add some more CSS for the updates to the bergamot widget	2 days ago
code	Fix mistakes in the example.agda file for IsSomething.	3 months ago
content	Add the work-in-progress Bergamot widget to the basics page.	5 days ago
layouts/shortcodes	Include rendering rules in Bergamot widget.	2 days ago
themes	Update theme	5 days ago
.drone.yml	Try to fix compiler build failure	4 years ago
.gitignore	Add gitignore file	4 years ago
.gitmodules	Extract compiler into its own repo	11 months ago
analyze.rb	Fix analyzer script and update graph JSON	2 years ago
config-gen.toml	Extract compiler into its own repo	11 months ago
config.toml	Add some partials to load and create a Bergamot widget.	5 days ago
submodule-links.rb	Update submodule script to properly gather submodule paths.	3 years ago