This website requires JavaScript.
Explore
Help
Sign In
Web-Projects
/
blog-static
Watch
1
Star
0
Fork
0
You've already forked blog-static
Code
Issues
Pull Requests
Releases
Wiki
Activity
A Hugo incarnation of the blog.
https://danilafe.com
147
Commits
8
Branches
0
Tags
47
MiB
Haskell
34%
Ruby
18.5%
Coq
16.4%
SCSS
8.5%
Idris
8.4%
Other
14.1%
281dbbd174
Go to file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Cite this repository
APA
BibTeX
Cancel
Danila Fedorin
281dbbd174
Track allocated nodes using a G-machine struct in compiler series.
2020-02-06 10:05:26 -08:00
archetypes
Generate initial site
2019-08-02 17:13:41 -07:00
assets
/scss
Make G-machine CSS use rem
2019-12-30 14:50:00 -08:00
code
Track allocated nodes using a G-machine struct in compiler series.
2020-02-06 10:05:26 -08:00
content
Bump polymorphism compiler post up one spot
2020-01-27 20:34:04 -08:00
layouts
/shortcodes
Add missing shortcodes for G-machine display
2019-09-03 21:23:45 -07:00
themes
/vanilla
Add intermediate style to fit right sidenotes
2020-02-03 13:38:21 -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