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

安装:
=

版本列表:

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

jekyll-agda 0.1.0

Gemfile:
=

安装:
=

版本列表:

Runtime 依赖 (1):

Development 依赖 (4):

业主:

推送:

作者:

SHA 256 校验和:

下载总量 1,488

这个版本 1,488

版本发布:
January 14, 2022 10:53am

许可:
MIT

需要的 Ruby 版本: >= 2.6.0

链接:

jekyll-agda 0.1.0

Gemfile: =

安装: =

版本列表:

Runtime 依赖 (1):

Development 依赖 (4):

业主:

推送:

作者:

SHA 256 校验和:

下载总量 1,488

这个版本 1,488

版本发布: January 14, 2022 10:53am

许可: MIT

需要的 Ruby 版本: >= 2.6.0

链接:

Gemfile:
=

安装:
=

版本发布:
January 14, 2022 10:53am

许可:
MIT