paolobrasolin/jekyll-agda

View on GitHub
lib/jekyll/agda.rb

Summary

Maintainability
A
0 mins
Test Coverage
C
75%

No issues here. Congrats!