# frozen_string_literal: true

source "https://rubygems.org"

gem "jekyll-feed"
gem "jekyll-katex"
gem "jekyll-minifier"
gem "jekyll-agda"
gem "kramdown-parser-gfm"
gem "execjs"
gem "uglifier"
gem "htmlcompressor"
gem "cssminify2"
gem "json-minify"
gem "webrick"
gem "rouge"
gem "kramdown-math-katex"