| LICENSE | |
|
|
| .rspec | |
|
|
| CHANGELOG.md | |
|
|
| jekyll-agda.gemspec | |
|
|
| .github/workflows/main.yml | |
|
|
| .github/actions/setup-ruby/action.yml | |
|
|
| Gemfile | |
|
|
| .gitignore | |
|
|
| README.md | |
|
|
| lib/jekyll/agda/version.rb | 5 | A 0 mins |
|
| lib/jekyll/agda.rb | 5 | A 0 mins | C 75% |
| lib/jekyll/agda/browsable_page.rb | 17 | A 0 mins | C 75% |
| lib/jekyll/agda/weaver.rb | 67 | A 45 mins | F 50% |
| lib/jekyll/agda/runner.rb | 67 | A 0 mins | F 35% |