Code Climate
Product
Browser Extension
Features
Pricing
Developers
Sign up
Login
paolobrasolin/jekyll-agda
View on GitHub
Star
Overview
Progress
Issues
Code
Filters
Trends
Last
main
build
See recent builds
23 days ago
Refresh default branch
Refresh
lib/jekyll/agda/version.rb
Summary
Maintainability
A
0 mins
Test Coverage
Issues
Source
Stats
Issues
module Jekyll module Agda VERSION = "0.1.0" end end