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: 175,562 of 183,477
Downloads: 1,501

Daily

Ranking: 63,432 of 183,470
Downloads: 0

Depended by

RankDownloadsName

Depends on

RankDownloadsName
25825,073,950rspec
94362,024,410byebug
98353,748,210simplecov
1,12631,172,685jekyll
3,1353,599,975rufo

Owners

#GravatarHandle
1iconpaolobrasolin