PLFA agda exercises
# Used by `make test-htmlproofer`

source 'https://rubygems.org'

gem 'html-proofer', "~> 5.1.0", :require => false