Categories: None [Edit]

jekyll-agda

https://rubygems.org/gems/jekyll-agda
https://github.com/paolobrasolin/jekyll-agda
This Jekyll plugin allows to you write literate Agda. It will compile your code using Agda itself, producing beautifully highlighted and hyperlinked pages.

Total

Ranking: 177,882 of 187,960
Downloads: 1,784

Daily

Ranking: 143,427 of 187,950
Downloads: 1

Depended by

RankDownloadsName

Depends on

RankDownloadsName
28930,361,546rspec
99428,988,492simplecov
100428,050,932byebug
1,16536,989,301jekyll
2,5677,168,693rufo

Owners

#GravatarHandle
1iconpaolobrasolin