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:
=

安裝:
=

版本列表:

  1. 0.1.0 January 14, 2022 (9.0 KB)

Runtime 相依性套件 (1):

jekyll >= 3, < 5

Development 相依性套件 (4):

byebug ~> 11.1.3
rspec ~> 3.10.0
rufo ~> 0.13.0
simplecov ~> 0.21.2

擁有者:

推送者:

作者:

  • Paolo Brasolin

SHA 256 總和檢查碼:

=

總下載次數 1,491

這個版本 1,491

版本发布:

授權:

MIT

Ruby 版本需求: >= 2.6.0

相關連結: