Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
A Hugo incarnation of the blog. https://danilafe.com
20 Commits 8 Branches 0 Tags 46 MiB
Haskell 37%
Ruby 18.4%
Coq 17.8%
Idris 9.2%
Alloy 5.5%
Other 12%
85908ae0c4
Go to file
Danila Fedorin 85908ae0c4 Write first draft of Bison-based parser and lexer
2019-08-05 00:09:59 -07:00
archetypes Generate initial site 2019-08-02 17:13:41 -07:00
code Write first draft of Bison-based parser and lexer 2019-08-05 00:09:59 -07:00
content Write first draft of Bison-based parser and lexer 2019-08-05 00:09:59 -07:00
themes/vanilla Add a way to include code into a post 2019-08-03 15:18:15 -07:00
config.toml Add code highlighting and make minor style changes 2019-08-02 18:35:47 -07:00