Web-Projects
/
blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
A Hugo incarnation of the blog. https://danilafe.com
664 Commits 8 Branches 0 Tags 32 MiB
Haskell 40.5%
Coq 19.6%
Idris 10.1%
HTML 9.1%
Alloy 6%
Other 14.6%
Go to file
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
archetypes Generate initial site 2019-08-02 17:13:41 -07:00
assets/scss Fix up donation styles on smaller screens 2021-09-19 12:18:00 -07:00
code Fix mistakes in the example.agda file for IsSomething. 2023-09-03 11:38:00 -07:00
content Fix dates 2023-10-14 15:58:20 -07:00
layouts/shortcodes Add some partials to load and create a Bergamot widget. 2023-11-29 22:29:14 -08:00
themes Update theme 2023-11-29 22:28:31 -08:00
.drone.yml Try to fix compiler build failure 2020-04-26 21:05:28 -07:00
.gitignore Add gitignore file 2019-12-04 14:35:23 -08:00
.gitmodules Extract compiler into its own repo 2023-01-01 15:09:41 -08:00
analyze.rb Fix analyzer script and update graph JSON 2022-04-09 03:24:15 -07:00
config-gen.toml Extract compiler into its own repo 2023-01-01 15:09:41 -08:00
config.toml Add some partials to load and create a Bergamot widget. 2023-11-29 22:29:14 -08:00
submodule-links.rb Update submodule script to properly gather submodule paths. 2021-01-11 12:39:41 -08:00