diff --git a/Gemfile b/Gemfile new file mode 100644 index 0000000..4940ea9 --- /dev/null +++ b/Gemfile @@ -0,0 +1,8 @@ +# frozen_string_literal: true + +source "https://rubygems.org" + +gem "jekyll-feed" +gem "jekyll-katex" +gem "jekyll-minifier" +gem "jekyll/agda"