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

Danila Fedorin a2c84f5c40 Make KaTeX scrollable		2020-03-10 18:39:56 -07:00
archetypes	Generate initial site	2019-08-02 17:13:41 -07:00
assets/scss	Allow stack cells to be bigger	2020-03-08 00:38:19 -08:00
code	Add first draft of Idris post	2020-02-29 16:12:12 -08:00
content	Write up the instantiation rule and the new type checking algorithm in compiler series.	2020-03-10 18:36:26 -07:00
layouts/shortcodes	Stop using images and use HTML/CSS to render stacks	2020-03-08 00:20:30 -08:00
themes/vanilla	Make KaTeX scrollable	2020-03-10 18:39:56 -07:00
.drone.yml	Finalize new Drone configuration	2020-02-29 23:16:49 -08:00
.gitignore	Add gitignore file	2019-12-04 14:35:23 -08:00
config.toml	Add google analytics?	2019-08-16 14:25:18 -07:00