Source files of my blog
Haskell CSS Agda
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
css
posts
templates
.gitignore
README.md
blog.cabal
index.html
site.hs

README.md

Blog

Source files for my blog. It depends on Hakyll and my own fork of hakyll-agda to fix some compatibility issues with the newest version of Agda.