Categories: None [Edit]
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: 174,163 of 180,518
Downloads: 1,369
Daily
Ranking: 64,836 of 180,507
Downloads: 1
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
Rank | Downloads | Name |
---|
Owners
# | Gravatar | Handle |
---|---|---|
1 | paolobrasolin |