paolobrasolin/jekyll-agda

# Changelog

All notable changes to this project will be documented in this file.

The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).

## [Unreleased]

## [0.1.0] - 2022-01-14

### Added

- MVP.

[unreleased]: https://github.com/paolobrasolin/jekyll-agda/compare/0.1.0...HEAD

<!-- [0.2.0]: https://github.com/paolobrasolin/jekyll-agda/compare/0.1.0...0.2.0 -->

[0.1.0]: https://github.com/paolobrasolin/jekyll-agda/releases/tag/0.1.0