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.
 
 
 
 
 
 
Go to file
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