jekyll-agda

Name: jekyll-agda
Author: Paolo Brasolin

Authors: Paolo Brasolin

License: MIT

Summary: This Jekyll plugin allows to you write literate Agda. It will compile your code using Agda itself, producing beautifully highlighted and hyperlinked pages.

Can't find the visual you need? Build your own here

All

version

0.1.0jekyll-agda

latest version

RubyGem Downloads Over Time

Top RubyGem Versions

Downloads by Ruby Version Over Time

Top Contributors

Downloads by System Over Time

RubyGem Downloads by Country

Trademark Privacy Security Terms of Service Cookie Policy

Downloads

by period

last day

last week

last month

2.5K

total