RubyGems Navigation menu

jekyll-agda 0.1.0

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

Gemfile:
=

install:
=

Versions:

  1. 0.1.0 January 14, 2022 (9 KB)

Runtime Dependencies (1):

jekyll >= 3, < 5

Development Dependencies (4):

byebug ~> 11.1.3
rspec ~> 3.10.0
rufo ~> 0.13.0
simplecov ~> 0.21.2
Show all transitive dependencies

Owners:

Pushed by:

Authors:

  • Paolo Brasolin

SHA 256 checksum:

=

Total downloads 1,486

For this version 1,486

Version Released:

License:

MIT

Required Ruby Version: >= 2.6.0

Links:

Homepage Changelog Documentation Bug Tracker Download Review changes Badge Subscribe RSS Report abuse Reverse dependencies Adoption