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: 180,019 of 193,241
Downloads: 1,917

Daily

Ranking: 93,598 of 193,214
Downloads: 1

Depended by

RankDownloadsName

Depends on

RankDownloadsName
29983,169,856rspec
97470,466,552simplecov
102459,910,587byebug
1,14940,653,674jekyll
2,5917,807,441rufo

Owners

#GravatarHandle
1iconpaolobrasolin